diff options
author | Junio C Hamano <junio@kernel.org> | 2010-01-24 20:06:29 +0000 |
---|---|---|
committer | Junio C Hamano <junio@kernel.org> | 2010-01-24 20:06:29 +0000 |
commit | d0d892c7a8652759ef2c00b0683de67f076b63bc (patch) | |
tree | d25cc399e405809688aa868d251f76b798917f0e /git-push.html | |
parent | 57827fb28944ab9eee73efc93f04fb6dfc6e36a8 (diff) | |
download | git-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.html | 18 |
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.<name>.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 <torvalds@osdl.org></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>
|