badrihippo, Do we have a #SearchEngine for public #git repos? :git:
Right now my "default" is to go to GitHub, and then maybe GitLab and Codeberg...but that leaves out all the other hosts out there. Once #ForgeFed happens we'll need it even more :fedi:
(By the way, I say "git" because that's where most code is, but if other kinds of repos are supported, even better! 🔍 )