On Wed, Nov 24, 2021 at 07:10:31PM -0500, Matthew Miller wrote:
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. :)
Maybe they could pre-seed their script with:
https://src.fedoraproject.org/lookaside/git-seed-latest.tar.xz
That way instead of pulling all the data for all the git repos, they will just
pull the changes since the last run of the cron (which runs daily).
Pierre