Port mirroring script to python
https://forge.softwareheritage.org/diffusion/DSNIP/browse/master/ardumont/sync-mirror-to-github.sh
Related T619