"Unknown repo" for existing repo

[karlhorky]

Hi there, thanks for working on improving the GitHub search experience, really cool!

One thing that I noticed is that it's not possible to search a user's repos, eg:

repo:Alexou-riri/final-project-bootcamp @media

I get the error that this is not a known repo:

Unknown repo: "Alexou-riri/final-project-bootcamp"

But it is (at least, at the time of writing): https://github.com/Alexou-riri/final-project-bootcamp

[colinwm]

Hey @karlhorky, not all repositories are indexed in the new cs.github.com search.

We've indexed many popular open source repositories, plus all of the repositories owned by people who have signed up for the technology preview. Seems like Alexou-riri probably hasn't signed up yet, so their repos aren't indexed!

[karlhorky]

Ah ok, missed this detail, sorry! Thanks for the quick answer!

[gnu4cn]

Please give me the old search tool back, I even can not search my own repo.

[eherrerosj]

@colinwm, is there a plan in place to index all code repositories present in GitHub?

[colinwm]

Yes, we intend to index everything soon (hopefully order of a few months from now).

But in the mean time, if you search inside a specific repo on github.com (e.g. repo:my/repo xyz) which is not yet indexed, we will immediately queue that repo to be indexed. BTW, this feature only works if you have the new code search in github.com beta enabled.

[gnu4cn]

I would honestly say, you microsoft guys made the github messedup more and more.

[JinchaoLove]

@colinwm What if we want to search in a new repository? How to disable the new code search in github.com beta? I just need the basic search abilities.

[look]

Your repository was not indexed due to a bug with handling repositories that were deleted and then recreated. We are rolling out a fix for that, sorry for the delay.

[HenryPook]

Hi @look,

I'm also experiencing this issue with https://github.com/pooky-lighting/pooky-shopify-theme. I've tried to search but days later it's still not indexed.

Could you take a look at this for us please?

Thanks!

[look]

@HenryPook I've indexed your pooky-lighting repositories. I'm not sure why indexing-on-search didn't work, did you happen to record the message you saw?

[HenryPook]

Hi @look,

Thanks very much, we use the feature a lot so I appreciate you indexing them.

It was the same error that other users have noticed here - 'Unknown repo: "repo name". I tried searching a few hours and then a few days later after initial searches but it kept coming up with the same error.

We recently added a number of new repos, one of which was searched, they were existing repos that were ported to our account as a new remote, so I wonder if that had something to do with it?

[RokeJulianLockhart]

@look, this persists at https://github.com/search?q=repo%3Aarancaytar%2Faran-web+path%3A%2F%5Esource%5C%2Fconverters%5C%2Ftime%5C%2F%2F+b36&type=code#:~:text=Save-,Unknown%20repo,-:%20%22arancaytar/aran%2Dweb%22. ¹ The error message is somewhat nonsensical:

²

As Of T18:47:39+00:00

It's been remediated:

²

…although the error message should be improved regardless.

Footnotes

1. stackoverflow.com/questions/73941304/how-to-search-github-repository-at-a-specific-commit#comment131148130_73967172 ³ ↩

2. github/markup/issues/2005 ↩ ↩²

3. stackoverflow.com/questions/20739562/converting-large-numbers-into-letters-and-back-again#comment140957090_20750581 ↩

[RokeJulianLockhart]

@Magudeshhmw, don't respond with regurgitated LLM output:

Your report has been submitted for review.

[mecodeatlas]

Hi @Magudeshhmw,

We’ve clarified our stance on using generative AI tools like ChatGPT within our Community via this announcement. Please review the guidelines to ensure your post meets them as failure to adhere to those rules can result in action taken by our moderator team.  You can read our updated Code of Conduct and the announcement for more details.

Thank you for helping us maintain an authentic and beneficial space for everyone.