From: Ramkumar Ramachandra <artagnon@gmail.com>
Date: Mon, 08 Oct 2012 07:27:49 GMT
Subject: Re: push.default documented in "man git-push"?
Message-ID: <CALkWK0=gYFuLBfWBiXcw=1Be9nYgRJgFSSDSbvwxPnttHqAFew@mail.gmail.com>
In-Reply-To: <7v7gr2qb7q.fsf@alter.siamese.dyndns.org>

Junio C Hamano wrote:
> Ramkumar Ramachandra <artagnon@gmail.com> writes:
>
>> Junio C Hamano wrote:
>>>
>>> With a weaker phrase, e.g. "These configuration variables may be of
>>> interest", such a list may not hurt readers, but personally I do not
>>> think it adds much value to have a list of variables without even a
>>> single line description of what each is used for.
>>
>> Okay.  Does this work?
>
> Hrm, is it useful without even a single line description of what
> each is used for?

Should we replicate the description from git-config[1]?  That seems
like a waste.

> Besides, how does it appear in the formatted documents?  A thick
> paragraph that lists names of variables enumerated without comma in
> between?

Oops; I didn't build it and check.

Ram