From: Junio C Hamano Date: Thu, 04 Oct 2012 05:45:46 GMT Subject: Re: push.default documented in "man git-push"? Message-ID: <7va9w23i45.fsf@alter.siamese.dyndns.org> In-Reply-To: Nguyen Thai Ngoc Duy writes: > On Thu, Oct 4, 2012 at 1:49 AM, Junio C Hamano wrote: >> I would recommend against listing any advice.* in the command manual >> pages. They are meant to give an advice in cases that are often >> confusing to new people and are supposed to advise how to turn it >> off in the message. > > OK. I think I was surprised that some messages were controlled by > advice.* but gave no hints about that and I found that out by other > means. I'll check all the advice messages. As far as I can tell, $ git grep -e 'advice\.' Documentation shows the list in config.txt and nothing else, and they do talk about when they are issued, but the reasoning behind them may not be described to a sufficient degree (that is, unless a reader carefully thinks things through, s/he may not be able to figure out why). But I think what we have there is more or less OK.