Enable mirror option for git clone and push.

c.f. https://help.github.com/articles/duplicating-a-repository