diff options
author | Junio C Hamano <gitster@pobox.com> | 2013-12-27 16:33:16 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-12-27 16:33:16 -0800 |
commit | b1acf0200aa1efd66d18ed4e108792e1068464a9 (patch) | |
tree | cbe03352fd89f04dad76fcd2c16544999ae21cbf /git-push.html | |
parent | cf77b0414a44eadfcd0c74dfcae739427b7d2cce (diff) | |
download | git-htmldocs-b1acf0200aa1efd66d18ed4e108792e1068464a9.tar.gz |
Autogenerated HTML docs for v1.8.5.2-227-g53f347
Diffstat (limited to 'git-push.html')
-rw-r--r-- | git-push.html | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/git-push.html b/git-push.html index 5cf435bdb..508c6bf6b 100644 --- a/git-push.html +++ b/git-push.html @@ -803,8 +803,13 @@ it can be any arbitrary "SHA-1 expression", such as <code>master~4</code> or <code>HEAD</code> (see <a href="gitrevisions.html">gitrevisions(7)</a>).</p></div>
<div class="paragraph"><p>The <dst> tells which ref on the remote side is updated with this
push. Arbitrary expressions cannot be used here, an actual ref must
-be named. If <code>:</code><dst> is omitted, the same ref as <src> will be
-updated.</p></div>
+be named.
+If <code>git push [<repository>]</code> without any <code><refspec></code> argument is set to
+update some ref at the destination with <code><src></code> with
+<code>remote.<repository>.push</code> configuration variable, <code>:<dst></code> part can
+be omitted---such a push will update a ref that <code><src></code> normally updates
+without any <code><refspec></code> on the command line. Otherwise, missing
+<code>:<dst></code> means to update the same ref as the <code><src></code>.</p></div>
<div class="paragraph"><p>The object referenced by <src> is used to update the <dst> reference
on the remote side. By default this is only allowed if <dst> is not
a tag (annotated or lightweight), and then only if it can fast-forward
@@ -1722,7 +1727,7 @@ a <code>git gc</code> command on the origin repository.</p></div> <div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2013-09-17 14:33:14 PDT
+Last updated 2013-12-27 16:32:55 PST
</div>
</div>
</body>
|