Mirror repo?

Find out if Maxime wants the repo mirrored at the ESA git server, and if so, do it.