Re: push.default documented in "man git-push"?
- From
Ramkumar Ramachandra <artagnon@gmail.com>
- Date
- Oct 8, 2012, 07:27 UTC
- Message-ID
- <CALkWK0=gYFuLBfWBiXcw=1Be9nYgRJgFSSDSbvwxPnttHqAFew@mail.gmail.com>
- In-Reply-To
- <7v7gr2qb7q.fsf@alter.siamese.dyndns.org>
Junio C Hamano wrote:
Show 13 quoted lines
> 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