David Glasser wrote: > Is the newish push.default documented in the "git push" manpage > anywhere? I don't see it mentioned (and there are several references > to the "default" behavior), but maybe I'm missing something. Is it > left out on purpose (ie, config values aren't supposed to be mentioned > in command manpages)?
You're right. It's documented in `man git-config`, but we should probably mention it in the `git-push` manpage. --8<-- From: Ramkumar Ramachandra <artag...@gmail.com> Date: Tue, 2 Oct 2012 20:37:13 +0530 Subject: [PATCH] Documentation: mention `push.default` in git-push.txt Signed-off-by: Ramkumar Ramachandra <artag...@gmail.com> --- Documentation/git-push.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index cb97cc1..8751b38 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 -- 188.8.131.52.428.g652398a.dirty -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html