Ideally this should be something search engines handle - but they do a poor job in specialised areas like code repos.

It's helpful to have a github mirror of your "real" repo (or even just a stub pointing to the real repo if you object to github strongly enough that mirroring there is objectionable to you).

One day maybe there will be an aggregator that indexes repos hosted anywhere. But in many ways that will be back to the square one - a single point of failure.

The Fediverse seems to dislike global search. Or is that just a mastodon thing?

[dead]