From: Nguyen Thai Ngoc Duy Date: Mon, 08 Oct 2012 08:35:57 GMT Subject: Re: push.default documented in "man git-push"? Message-ID: In-Reply-To: On Mon, Oct 8, 2012 at 2:27 PM, Ramkumar Ramachandra wrote: > Should we replicate the description from git-config[1]? That seems > like a waste. I think Jeff's suggestion [1] of moving config bits from git-config.txt to git-*.txt makes sense. But that seems a big task. We'll need to figure out how to groups config keys in separate config-*.txt then include them in relevant commands' man page and config.txt (or just "see also" in config.txt). Maybe we can try it with push config first? [1] http://thread.gmane.org/gmane.comp.version-control.git/206780/focus=206939 -- Duy