github, azure and mirrorsSimple mirror push Simple mirror push — just a few commands: 1. Clone the GitHub repo as a bare clone ...