From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Thu, 04 Jan 2007 12:59:54 GMT
Subject: Re: [PATCH] git-reset --hard: tell the user what the HEAD was reset to
Message-ID: <Pine.LNX.4.63.0701041357380.22628@wbgn013.biozentrum.uni-wuerzburg.de>
In-Reply-To: <459BACE1.5020406@shadowen.org>

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.

Ciao,
Dscho