Sourcegraph is planning to, very shortly, start cloning all non fork repos
from
src.fedoraproject.org as well as asking the Pagure API for the metadata
of those repos. Their user agent for API requests is `Sourcegraph-Bot` and
for git protocol stuff `git/Sourcegraph-Bot`.
If there's a problem, let me know and I'll let them know. :)
--
Matthew Miller
<mattdm(a)fedoraproject.org>
Fedora Project Leader