git-push.txt: Describe --repo option in more detail