Hacker News new | ask | show | jobs
by colemickens 3337 days ago
How... how is one meant to specify a repo?

If I type "colemickens" it lists my repos. But I have... a lot of them. "colemickens/repo-name" doesn't work. Nor does any other form I've tried.

edit: maybe it's a paging issue and the "repo-name" I was trying wasn't on the first page of my repos? Unclear...

1 comments

Where are you searching from? If you click "Go to repository" on the top left of the home page you should be able to find a specific repo by typing "colemickens/repo-name".

If you don't see a repo that you know you have, then it might not yet be cloned on soucegraph.com because we clone repos lazily (try navigating directly to https://sourcegraph.com/github.com/colemickens/repo-name to trigger us to clone it).