Isn't there any "source code repository search" service out there that aggregates stuff from GitHub, GitLab and other places?