git/list[1] front-page[2] threads[3] people[4] search[5] about
 

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

From
Johannes Schindelin <johannes.schindelin@gmx.de>
Date
Jan 4, 2007, 12:59 UTC
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

Previous: Andy WhitcroftNext: Andy Whitcroft
Message 4 of 5 in “UI nitpick”
  1. Han-Wen NienhuysDec 20, 2006
  2. git-reset --hard: tell the user what the HEAD was reset toJohannes Schindelin, Dec 21, 2006
  3. Andy WhitcroftJan 3, 2007
  4. Johannes SchindelinJan 4, 2007
  5. Andy WhitcroftJan 4, 2007

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.