Record how to setup a mirror git push between two server