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
..
2017-05-01 22:06:17 +02:00
2019-11-13 15:54:50 +00:00
2018-08-27 14:33:32 +00:00
2016-12-13 20:16:19 -05:00
2019-03-21 13:43:02 -07:00
2014-04-25 12:35:25 -07:00
2020-04-29 17:48:13 +00:00
2019-05-08 05:55:33 +10:00
2020-03-04 23:54:41 +00:00
2019-03-28 10:52:58 +11:00
2020-01-28 16:41:07 -08:00
2019-01-16 18:47:57 +00:00
2018-08-27 14:33:32 +00:00
2020-01-07 15:25:32 -08:00