Re: push.default documented in "man git-push"?
- From
Nguyen Thai Ngoc Duy <pclouds@gmail.com>
- Date
- Oct 4, 2012, 02:01 UTC
- 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