Re: push.default documented in "man git-push"?

On Wed, Oct 3, 2012 at 3:17 PM, Ramkumar Ramachandra [off-list ref] wrote:

Hi Duy,

Nguyen Thai Ngoc Duy wrote:

quoted

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.
-- 
Duy