Re: push.default documented in "man git-push"?
From: Ramkumar Ramachandra <hidden>
Date: 2016-06-15 22:54:55
Subsystem:
documentation, the rest · Maintainers:
Jonathan Corbet, Linus Torvalds
David Glasser wrote:
Thanks Rankumar! There's also the reference in the "git push origin" example and the "This is the default operation mode if no explicit refspec is found".
Sorry; here's a revised patch. --8<-- From: Ramkumar Ramachandra <redacted> Date: Tue, 2 Oct 2012 21:06:05 +0530 Subject: [PATCH] Documentation: mention `push.default` in git-push.txt Signed-off-by: Ramkumar Ramachandra <redacted> --- Documentation/git-push.txt | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt
index cb97cc1..e1e9aca 100644
--- a/Documentation/git-push.txt
+++ b/Documentation/git-push.txt@@ -37,7 +37,8 @@ OPTIONS[[OPTIONS]] `+`, followed by the source ref <src>, followed by a colon `:`, followed by the destination ref <dst>. It is used to specify with what <src> object the <dst> ref - in the remote repository is to be updated. + in the remote repository is to be updated. If not specified, + the configuration variable `push.default` is used. + The <src> is often the name of the branch you would want to push, but it can be any arbitrary "SHA-1 expression", such as `master~4` or
@@ -65,7 +66,8 @@ directs git to push "matching" branches: for everybranch that
the local side, the remote side is updated if a branch of the same name
already exists on the remote side. This is the default operation mode
if no explicit refspec is found (that is neither on the command line
-nor in any Push line of the corresponding remotes file---see below).
+nor in any Push line of the corresponding remotes file, or `push.default`
+---see below).
--all::
Instead of naming each ref to push, specifies that all@@ -357,7 +359,7 @@ Examples `git push origin :`. + The default behavior of this command when no <refspec> is given can be -configured by setting the `push` option of the remote. +configured by setting the `push` option of the remote, or `push.default`. + For example, to default to pushing only the current branch to `origin` use `git config remote.origin.push HEAD`. Any valid <refspec> (like
--
1.7.12.1.428.g652398a.dirty