Document the internal repositoryQuery option for GitHub - #2064

Document the internal repositoryQuery option for GitHub#2064

gabtorre merged 3 commits into

mainsourcegraph/docs:mainfrom

gt/update-github-repositoryQuerysourcegraph/docs:gt/update-github-repositoryQueryCopy head branch name to clipboard