Having a better code search crawler that can grab data from independent git repos would be really cool. But being able to submit a PR from server 1 to server 2 is pretty unrelated to that.
people really do that?
If I'm looking for software/libs/etc, GitHub search is the absolute last thing I would even think to look for.