git-push: add documentation for the newly added --mirror mode