google / zoekt

Fast trigram based code search

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

zoekt-indexserver: Support Per-Repository Branch Selection

dharesign opened this issue · comments

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!

i've handed over maintenance of zoekt to sourcegraph. I suggest opening an issue at https://github.com/sourcegraph/zoekt/

Ah will do. Thanks!