Re: push.default documented in "man git-push"?
- From
Nguyen Thai Ngoc Duy <pclouds@gmail.com>
- Date
- Oct 3, 2012, 08:23 UTC
- Message-ID
- <CACsJy8BB4WM1Lqz4yCGnGN2DV1Xsip3Qzh86ibBXwt2BnaNENA@mail.gmail.com>
- In-Reply-To
- <CALkWK0kKzt8ii-+O0zRM1JLenP+XKh-2Wv_v6zXkkcvTGQ2MQg@mail.gmail.com>
On Wed, Oct 3, 2012 at 3:17 PM, Ramkumar Ramachandra <artagnon@gmail.com> wrote:
Show 10 quoted lines
> 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)?
I won't be able to do it in the next 4 hours. If you want a stab at it, go ahead.
-- Duy