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.