Merge branch 'mg/push-repo-option-doc' into maint
commit2fc85f05452087298023519cf95e04c9343ec69d
authorJunio C Hamano <gitster@pobox.com>
Wed, 25 Feb 2015 06:10:19 +0000 (24 22:10 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 25 Feb 2015 06:10:19 +0000 (24 22:10 -0800)
tree8c6fa7941365a598ba91d09c8144e8f442cdb289
parent8f3d03d81e124b102a29a4adeeec4b3473bfa8d6
parent57b92a77a0aeff49e82cc0bfd14eac9313683766
Merge branch 'mg/push-repo-option-doc' into maint

The "git push" documentation made the "--repo=<there>" option
easily misunderstood.

* mg/push-repo-option-doc:
  git-push.txt: document the behavior of --repo
Documentation/git-push.txt