Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

zoekt-indexserver: Support Per-Repository Branch Selection #141

Closed
dharesign opened this issue Sep 29, 2022 · 2 comments
Closed

zoekt-indexserver: Support Per-Repository Branch Selection #141

dharesign opened this issue Sep 29, 2022 · 2 comments

Comments

@dharesign
Copy link

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
Copy link
Contributor

hanwen commented Sep 29, 2022

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

@hanwen hanwen closed this as completed Sep 29, 2022
@dharesign
Copy link
Author

Ah will do. Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants