From: Peter Krefting Date: Wed, 03 Oct 2012 11:58:45 GMT Subject: Re: push.default documented in "man git-push"? Message-ID: In-Reply-To: Nguyen Thai Ngoc Duy: > 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. Yes, please. Discoverability of configuration settings is not very good at the moment. -- \\// Peter - http://www.softwolves.pp.se/