From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 17 Feb 2015 18:15:30 +0000 (-0800)
Subject: Merge branch 'mg/push-repo-option-doc'
X-Git-Tag: v2.4.0-rc0~115
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=a1589043238d7390b453bec0015bc326c4ebcbe1;p=thirdparty%2Fgit.git

Merge branch 'mg/push-repo-option-doc'

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

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

a1589043238d7390b453bec0015bc326c4ebcbe1