From: Ramkumar Ramachandra <artagnon@gmail.com>
Date: Wed, 03 Oct 2012 08:17:23 GMT
Subject: Re: push.default documented in "man git-push"?
Message-ID: <CALkWK0kKzt8ii-+O0zRM1JLenP+XKh-2Wv_v6zXkkcvTGQ2MQg@mail.gmail.com>
In-Reply-To: <CACsJy8B7Z4kVYax4igYQ-d8q6e+GrPL3UwzhHSYbJ5Qo0TiL-w@mail.gmail.com>

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)?

Ram