Correct documentation for git-push --mirror