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

unknown git hosting site #79

Open
vlotorev opened this issue Feb 15, 2019 · 2 comments
Open

unknown git hosting site #79

vlotorev opened this issue Feb 15, 2019 · 2 comments

Comments

@vlotorev
Copy link

vlotorev commented Feb 15, 2019

Trying to index local repo which was fetched from Gerrit results in unknow git hosting site error. Probably it's caused by not recognizing username in hosting site:

[vlotorev@pc zoekt]$ zoekt-git-index ~/projects/u-boot/
2019/02/15 23:52:52 setTemplatesFromConfig(/home/vlotorev/projects/u-boot): unknown git hosting site "ssh://vlotorev@<myserver>:29418/u-boot"
@hanwen
Copy link
Contributor

hanwen commented Feb 16, 2019

what should the result be?

Do you want the indexing to continue, with "local" support for visualizing the source code in the webserver?

@vlotorev
Copy link
Author

Trying to index local repo which was fetched from Gerrit results in unknow git hosting site error.

To be precise it's not error but probably warning, indexing finishes with error code $? = 0.

what should the result be?

No warning, it's confusing and doesn't make sense to user, what should user does wrong?

Do you want the indexing to continue, with "local" support for visualizing the source code in the webserver?

It does continue and code can be searched via webserver.

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