Re: push.default documented in "man git-push"?
- From
Nguyen Thai Ngoc Duy <pclouds@gmail.com>
- Date
- Oct 3, 2012, 08:14 UTC
- Message-ID
- <CACsJy8B7Z4kVYax4igYQ-d8q6e+GrPL3UwzhHSYbJ5Qo0TiL-w@mail.gmail.com>
- In-Reply-To
- <CALkWK0mxLQNOE8kZUJrxYQMWXpzZW0uS+N2iGXxdRmCXTzYcBQ@mail.gmail.com>
On Tue, Oct 2, 2012 at 10:09 PM, Ramkumar Ramachandra <artagnon@gmail.com> wrote:
Show 9 quoted lines
> David Glasser wrote: >> Is the newish push.default documented in the "git push" manpage >> anywhere? I don't see it mentioned (and there are several references >> to the "default" behavior), but maybe I'm missing something. Is it >> left out on purpose (ie, config values aren't supposed to be mentioned >> in command manpages)? > > You're right. It's documented in `man git-config`, but we should > probably mention it in the `git-push` manpage.
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.
-- Duy