Re: push.default documented in "man git-push"?
- From
Ramkumar Ramachandra <artagnon@gmail.com>
- Date
- Oct 3, 2012, 08:17 UTC
- 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