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

Re: [PATCH] mergetool: Use merge.tool config option.

From
Junio C Hamano <junkio@cox.net>
Date
Mar 19, 2007, 04:09 UTC
Message-ID
<7vircxnabq.fsf@assigned-by-dhcp.cox.net>
In-Reply-To
<20070319023238.GC11371@thunk.org>
Theodore Tso <tytso@mit.edu> writes:
Show 8 quoted lines
> It seemed to me that Junio's suggestion made the most amount of sense,
> but I tinkered with the with the warning message to make it clear that
> the cause of the warning was a bugus tool in the merge.tool
> configuration parameter.
>
> This has also been pushed out to git://repo.or.cz/git/mergetool.git
>
> Junio, please pull if you approve...
Surely, and thanks.  I think your message is much nicer.
Previous: Theodore Tso
Message 5 of 5 in “mergetool: Use merge.tool config option.”
  1. mergetool: Use merge.tool config option.James Bowes, Mar 18, 2007
  2. Junio C HamanoMar 19, 2007
  3. James BowesMar 19, 2007
  4. Theodore TsoMar 19, 2007
  5. Junio C HamanoMar 19, 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.