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 _______________________________________________ infrastructure mailing list -- infrastructure@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to infrastructure-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/infrastructure@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
