Learn more about these different git repos.
Other Git URLs
72f55da
[doc] kill all old builders when upgrading infrastructure We forgot about this, and it caused that the copr production stack was extremely slow for several days.