From: Nguyen Thai Ngoc Duy <pclouds@gmail.com>
Date: Thu, 04 Oct 2012 02:01:18 GMT
Subject: Re: push.default documented in "man git-push"?
Message-ID: <CACsJy8D5TCP+77NObD7Q58k6OKQhbZKU-i4tb2RX40xj5CPsgw@mail.gmail.com>
In-Reply-To: <7vvcer4chm.fsf@alter.siamese.dyndns.org>

On Thu, Oct 4, 2012 at 1:49 AM, Junio C Hamano <gitster@pobox.com> 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.
-- 
Duy