zoekt-indexserver: Support Per-Repository Branch Selection
dharesign opened this issue · 2 comments
dharesign commented
I'm using zoekt-indexserver
to clone and index a bunch of GitHub repositories. For the most part, it is the default branch that I am interested in indexing, but there is one repository where this is not the case.
It would be great if I had a way to specify the branch to index.
It seems like zoekt-git-index
supports being given the branch information, but there's only a single string that can be provided for the zoekt-indexserver
invocation, rather than a per-repository setting.
Something like:
{ "GithubOrg": "foo", "Name": "^bar$", "GitHubURL": "https://github.com", "branch": "release" }
Thanks!
hanwen commented
i've handed over maintenance of zoekt to sourcegraph. I suggest opening an issue at https://github.com/sourcegraph/zoekt/
dharesign commented
Ah will do. Thanks!