[MayeulC]

I sometimes use github search to double-check if someone has worked on a problem before startin myself. Even when the repo is abandonned, it sometimes gives a good starting point. GitHub often tells me about repos I didn't find on search engines.

I'd say go for it, but the discoverability aspect is important. I also follow friends and sometimes find interesting projects through their stars.

[Klonoar]

This is, increasingly, one of the only things I find myself locked into GitHub for: if I'm working in a space that's sufficiently "old" (e.g, macOS APIs), I generally cannot get Google to produce anything useful anymore and end up having to comb through various GitHub repositories. It's maddening.

No other code search engine comes close anymore, unfortunately.

[beyang]

Would Sourcegraph satisfy this use case? https://sourcegraph.com/search

[Klonoar]

Huh, nice! Might work.

Do you know if there's a way to submit something to this to spider (e.g a Gitea instance)?