From: Junio C Hamano Date: Wed, 25 Feb 2015 06:10:19 +0000 (-0800) Subject: Merge branch 'mg/push-repo-option-doc' into maint X-Git-Tag: v2.3.1~9 X-Git-Url: https://git.lorimer.id.au/gitweb.git/diff_plain/2fc85f05452087298023519cf95e04c9343ec69d?ds=inline;hp=-c Merge branch 'mg/push-repo-option-doc' into maint The "git push" documentation made the "--repo=" option easily misunderstood. * mg/push-repo-option-doc: git-push.txt: document the behavior of --repo --- 2fc85f05452087298023519cf95e04c9343ec69d diff --combined Documentation/git-push.txt index b17283ab7a,aea848a782..58cc59f20c --- a/Documentation/git-push.txt +++ b/Documentation/git-push.txt @@@ -10,8 -10,7 +10,8 @@@ SYNOPSI -------- [verse] 'git push' [--all | --mirror | --tags] [--follow-tags] [-n | --dry-run] [--receive-pack=] - [--repo=] [-f | --force] [--prune] [-v | --verbose] [-u | --set-upstream] + [--repo=] [-f | --force] [--prune] [-v | --verbose] + [-u | --set-upstream] [--signed] [--force-with-lease[=[:]]] [--no-verify] [ [...]] @@@ -34,7 -33,7 +34,7 @@@ When the command line does not specify arguments or `--all`, `--mirror`, `--tags` options, the command finds the default `` by consulting `remote.*.push` configuration, and if it is not found, honors `push.default` configuration to decide -what to push (See gitlink:git-config[1] for the meaning of `push.default`). +what to push (See linkgit:git-config[1] for the meaning of `push.default`). OPTIONS[[OPTIONS]] @@@ -130,12 -129,6 +130,12 @@@ already exists on the remote side from the remote but are pointing at commit-ish that are reachable from the refs being pushed. +--signed:: + GPG-sign the push request to update refs on the receiving + side, to allow it to be checked by the hooks and/or be + logged. See linkgit:git-receive-pack[1] for the details + on the receiving end. + --receive-pack=:: --exec=:: Path to the 'git-receive-pack' program on the remote @@@ -214,22 -207,8 +214,8 @@@ origin +master` to force a push to the `...` section above for details. --repo=:: - This option is only relevant if no argument is - passed in the invocation. In this case, 'git push' derives the - remote name from the current branch: If it tracks a remote - branch, then that remote repository is pushed to. Otherwise, - the name "origin" is used. For this latter case, this option - can be used to override the name "origin". In other words, - the difference between these two commands - + - -------------------------- - git push public #1 - git push --repo=public #2 - -------------------------- - + - 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 'git push'. + This option is equivalent to the argument. If both + are specified, the command-line argument takes precedence. -u:: --set-upstream::