Re: [bug] pull faulty 'not uptodate'

From: Junio C Hamano <gitster@pobox.com>
Date: Aug 20, 2008, 21:50 UTC
Message-ID: <7vy72rnyor.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <EAFC48F0-5512-4A83-B9B2-44FF53319285@ai.rug.nl>

Pieter de Bie <pdebie@ai.rug.nl> writes:

Show 11 quoted lines

> On Aug 20, 2008, at 11:22 PM, Junio C Hamano wrote:
>> But I also have to wonder why a git-list regular like you are
>> reporting
>> this _long after_ v1.6.0-rc1 was released.  Perhaps this is not
>> really a
>> big-deal bug spelled in capital letters like you have on your Subject
>> line?
>
> I just noticed it and wanted to report it. I thought the usual way to
> do this is to put [BUG] in the subject line. If that is not the common
> way to report bugs, I'm sorry. I can also downcase it ;)

Nah, don't bother --- that wouldn't help.

Checking if it is a regression ("it used to work but recently broken") or a bug ("it does not work as I expect it") and marking the report as such would have helped, though.