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.txt | |
| parent | cf77b0414a44eadfcd0c74dfcae739427b7d2cce (diff) | |
| download | git-htmldocs-b1acf0200aa1efd66d18ed4e108792e1068464a9.tar.gz | |
Autogenerated HTML docs for v1.8.5.2-227-g53f347
Diffstat (limited to 'git-push.txt')
| -rw-r--r-- | git-push.txt | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/git-push.txt b/git-push.txt index 9eec74091..2b7f4f939 100644 --- a/git-push.txt +++ b/git-push.txt @@ -56,8 +56,13 @@ it can be any arbitrary "SHA-1 expression", such as `master~4` or + 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 `:`<dst> is omitted, the same ref as <src> will be -updated. +be named. +If `git push [<repository>]` without any `<refspec>` argument is set to +update some ref at the destination with `<src>` with +`remote.<repository>.push` configuration variable, `:<dst>` part can +be omitted---such a push will update a ref that `<src>` normally updates +without any `<refspec>` on the command line. Otherwise, missing +`:<dst>` means to update the same ref as the `<src>`. + 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 |