Re: [ansible] Remove mirror01.prgmr.com, it's now the same as mirror.prgmr.com