summaryrefslogtreecommitdiffstats
path: root/git-push.html
diff options
context:
space:
mode:
authorJunio C Hamano <junio@kernel.org>2010-01-24 20:06:29 +0000
committerJunio C Hamano <junio@kernel.org>2010-01-24 20:06:29 +0000
commitd0d892c7a8652759ef2c00b0683de67f076b63bc (patch)
treed25cc399e405809688aa868d251f76b798917f0e /git-push.html
parent57827fb28944ab9eee73efc93f04fb6dfc6e36a8 (diff)
downloadgit-htmldocs-d0d892c7a8652759ef2c00b0683de67f076b63bc.tar.gz
Autogenerated HTML docs for v1.6.6.1-476-g01dd
Diffstat (limited to 'git-push.html')
-rw-r--r--git-push.html18
1 files changed, 9 insertions, 9 deletions
diff --git a/git-push.html b/git-push.html
index b063b7575..42a0b38bf 100644
--- a/git-push.html
+++ b/git-push.html
@@ -487,6 +487,14 @@ nor in any Push line of the corresponding remotes file---see below).</p></div>
can be used to override the name "origin". In other words,
the difference between these two commands
</p>
+<div class="listingblock">
+<div class="content">
+<pre><tt>git push public #1
+git push --repo=public #2</tt></pre>
+</div></div>
+<div class="para"><p>is that #1 always pushes to "public" whereas #2 pushes to "public"
+only if the current branch does not track a remote branch. This is
+useful if you write an alias or script around <em>git push</em>.</p></div>
</dd>
<dt>
-u
@@ -501,14 +509,6 @@ nor in any Push line of the corresponding remotes file---see below).</p></div>
<a href="git-pull.html">git-pull(1)</a> and other commands. For more information,
see <em>branch.&lt;name&gt;.merge</em> in <a href="git-config.html">git-config(1)</a>.
</p>
-<div class="listingblock">
-<div class="content">
-<pre><tt>git push public #1
-git push --repo=public #2</tt></pre>
-</div></div>
-<div class="para"><p>is that #1 always pushes to "public" whereas #2 pushes to "public"
-only if the current branch does not track a remote branch. This is
-useful if you write an alias or script around <em>git push</em>.</p></div>
</dd>
<dt>
--thin
@@ -1062,7 +1062,7 @@ by Linus Torvalds &lt;torvalds@osdl.org&gt;</p></div>
</div>
<div id="footer">
<div id="footer-text">
-Last updated 2010-01-21 17:44:34 UTC
+Last updated 2010-01-24 20:06:02 UTC
</div>
</div>
</body>