f7bed33a2b
This removes the old mirror01 vexxhost mirrors from config management. The old mirror02 mirrors were removed when we added mirror03 nodes. With both pairs out of configuration management we can cleanup DNS then delete the servers and their volumes. Change-Id: I6f2d914ee8fbf9358b182b05c91fe97bc7edcc5b