aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnders Melchiorsen <mail@cup.kalibalik.dk>2009-01-26 00:45:32 +0100
committerJunio C Hamano <gitster@pobox.com>2009-01-25 22:25:44 -0800
commit17507832ca9a5e54e2b65a5e1ad2d17255f1b925 (patch)
treef357ee9429f9cc5556452fbf35e63376ce222f08
parent7a0d911f116e437628035d7b07035dbff707a172 (diff)
downloadgit-17507832ca9a5e54e2b65a5e1ad2d17255f1b925.tar.gz
git-17507832ca9a5e54e2b65a5e1ad2d17255f1b925.tar.xz
Documentation: more git push examples
Include examples of using HEAD. The order of examples introduces new concepts one by one. This pushes the example of deleting a ref to the end of the list. Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r--Documentation/git-push.txt16
1 files changed, 13 insertions, 3 deletions
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt
index ea45935a7..60de47d43 100644
--- a/Documentation/git-push.txt
+++ b/Documentation/git-push.txt
@@ -191,9 +191,9 @@ git push origin master::
with it. If `master` did not exist remotely, it would be
created.
-git push origin :experimental::
- Find a ref that matches `experimental` in the `origin` repository
- (e.g. `refs/heads/experimental`), and delete it.
+git push origin HEAD::
+ A handy way to push the current branch to the same name on the
+ remote.
git push origin master:satellite/master dev:satellite/dev::
Use the source ref that matches `master` (e.g. `refs/heads/master`)
@@ -201,6 +201,11 @@ git push origin master:satellite/master dev:satellite/dev::
`refs/remotes/satellite/master`) in the `origin` repository, then
do the same for `dev` and `satellite/dev`.
+git push origin HEAD:master::
+ Push the current branch to the remote ref matching `master` in the
+ `origin` repository. This form is convenient to push the current
+ branch without thinking about its local name.
+
git push origin master:refs/heads/experimental::
Create the branch `experimental` in the `origin` repository
by copying the current `master` branch. This form is only
@@ -208,6 +213,11 @@ git push origin master:refs/heads/experimental::
the local name and the remote name are different; otherwise,
the ref name on its own will work.
+git push origin :experimental::
+ Find a ref that matches `experimental` in the `origin` repository
+ (e.g. `refs/heads/experimental`), and delete it.
+
+
Author
------
Written by Junio C Hamano <gitster@pobox.com>, later rewritten in C