From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 25 Feb 2015 06:10:19 +0000 (-0800)
Subject: Merge branch 'mg/push-repo-option-doc' into maint
X-Git-Tag: v2.3.1~9
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=2fc85f05452087298023519cf95e04c9343ec69d;p=thirdparty%2Fgit.git

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
---

2fc85f05452087298023519cf95e04c9343ec69d