Ian Wienand 45201f3d66 Remove puppet mirror support
Remove the separate "mirror_opendev" group and rename it to just
"mirror".  Update various parts to reflect that change.

We no longer deploy any mirror hosts with puppet, remove the various
configuration files.

Depends-On: https://review.opendev.org/728345
Change-Id: Ia982fe9cb4357447989664f033df976b528aaf84
2020-05-16 10:14:25 +10:00
..
2020-05-16 10:14:25 +10:00
2020-03-11 15:15:00 -07:00
2020-05-16 10:14:25 +10:00
2020-05-15 13:11:28 +10:00
2020-05-05 15:00:04 -05:00
2019-09-18 12:40:19 -07:00
2019-05-15 16:03:07 -07:00
2020-05-13 05:32:54 +10:00
2019-08-05 16:59:57 +10:00
2020-03-25 07:44:24 -07:00