[+CC: Junio, for comments] Nguyen Thai Ngoc Duy wrote: > On Wed, Oct 3, 2012 at 3:17 PM, Ramkumar Ramachandra <artag...@gmail.com> > wrote: >> Hi Duy, >> >> Nguyen Thai Ngoc Duy wrote: >>> Your patch is fine. I'm just thinking whether it's a good idea to add >>> a section in the end of each command's man page to list all relevant >>> config keys to that command, somewhat similar to "see also" section. >>> It may help finding useful config keys that otherwise hard to find. >> >> That sounds like a good idea. Would you like to write the first patch >> (for git-push)? > > I won't be able to do it in the next 4 hours. If you want a stab at > it, go ahead.
On second thought, it might not be such a good idea. There are *lots* of variables that control the operation of each command, and it's hard to decide which ones to list and which ones to omit. I've listed all the relevant variables for git-push, except the advice.* variables- I don't know how useful such a long list might be. Signed-off-by: Ramkumar Ramachandra <artag...@gmail.com> -- 8< -- diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index cb97cc1..0a1c8d2 100644 --- a/Documentation/git-push.txt +++ b/Documentation/git-push.txt @@ -426,6 +426,30 @@ Commits A and B would no longer belong to a branch with a symbolic name, 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 affect the operation of git-push in +various ways. For more information see linkgit:git-config. + +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 suite -- 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