Remove doc about mirrors.git

With the handover of mirrors work to Sysadmins, we decided to remove the mirrors.git repository, so we need to update documentation accordingly.

refs #16930 (closed)