Re: [PATCH] git-reset --hard: tell the user what the HEAD was reset to

From: Andy Whitcroft <apw@shadowen.org>
Date: Jan 4, 2007, 15:59 UTC
Message-ID: <459D2470.2090001@shadowen.org>
In-Reply-To: <Pine.LNX.4.63.0701041357380.22628@wbgn013.biozentrum.uni-wuerzburg.de>

Johannes Schindelin wrote:

Show 14 quoted lines

> Hi,
> 
> On Wed, 3 Jan 2007, Andy Whitcroft wrote:
> 
>> I think we need to delimit the name better, probabally we need to quote
>> it.  Perhaps something like:
>>
>>   HEAD is now at ac9c110: "git-fetch: remove .keep file at the end".
> 
> Fine. But this is "git log --pretty=oneline --abbrev-commit". I don't know 
> how many things break if you change _that_.
> 
> Alternatively, you could pipe that into a sed command adding the colon and 
> the quotes.

Quack, so it is.

apw@pinky$ git log --pretty=oneline --abbrev-commit | head -1 f4bf218... Update clone/fetch documentation with --depth (shallow clone) option

Perhaps we could do something like:

Head is now at "f4bf218... Update clone/fetch documentation with --depth (shallow clone) option"

Hmmm ... oh well I guess I'll just get used to it.

-apw