Re: push.default documented in "man git-push"?
From: Junio C Hamano <hidden>
Date: 2016-06-15 22:54:57
Ramkumar Ramachandra [off-list ref] writes:
Junio C Hamano wrote:quoted
With a weaker phrase, e.g. "These configuration variables may be of interest", such a list may not hurt readers, but personally I do not think it adds much value to have a list of variables without even a single line description of what each is used for.Okay. Does this work?
Hrm, is it useful without even a single line description of what each is used for? Besides, how does it appear in the formatted documents? A thick paragraph that lists names of variables enumerated without comma in between?
quoted hunk
-- 8< -- From: Ramkumar Ramachandra <redacted> Date: Sun, 7 Oct 2012 17:24:36 +0530 Subject: [PATCH] Documentation/git-push: add a configuration variables section The list of configuration variables that affect the operation of a git command can often be hard to find. As a first step, add a "Configuration variables" section to git-push. The intent is to create similar sections in all manpages. Signed-off-by: Ramkumar Ramachandra <redacted> --- Documentation/git-push.txt | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+)diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index cb97cc1..a125536 100644 --- a/Documentation/git-push.txt +++ b/Documentation/git-push.txt@@ -426,6 +426,30 @@ Commits A and B would no longer belong to abranch with a sy and so would be unreachable. As such, these commits would be removed by a `git gc` command on the origin repository. +Configuration variables +----------------------- + +These configuration variables may be of interest. For more +information see linkgit:git-config[1]. + +branch.<name>.remote +core.gitProxy +http.proxy +push.default +receive.autogc +receive.denyCurrentBranch +receive.denyDeleteCurrent +receive.denyDeletes +receive.denyNonFastForwards +receive.unpackLimit +receive.updateserverinfo +remote.<name>.mirror +remote.<name>.proxy +remote.<name>.push +remote.<name>.pushurl +remote.<name>.receivepack +remote.<name>.url + GIT --- Part of the linkgit:git[1] suite