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

Re: [PATCH 1/5] Consistently use user-defined UI font everywhere in GUI tools.

From
Frank Lichtenheld <frank@lichtenheld.de>
Date
Mar 26, 2007, 10:06 UTC
Message-ID
<20070326100635.GN8017@planck.djpig.de>
In-Reply-To
<7vr6rcxv5x.fsf@assigned-by-dhcp.cox.net>
On Mon, Mar 26, 2007 at 01:31:54AM -0700, Junio C Hamano wrote:
Show 5 quoted lines
>  (2) address gitk patches to Paul Mackerras <paulus@samba.org>,
>      with cc: the list;
> 
>  (3) address git-gui patches to Shawn Pearce <spearce@spearce.org>
>      with cc: the list.

Maybe such information could be added to Documentation/SubmittingPatches? Currently it only talks about contrib/ vs. everything else and not e.g. about gitk and git-gui.

Gruesse,
-- 
Frank Lichtenheld <frank@lichtenheld.de>
www: http://www.djpig.de/
Previous: Junio C HamanoNext: Eygene Ryabinkin
Message 3 of 4 in “Consistently use user-defined UI font everywhere in GUI tools.”
  1. 1/5 Consistently use user-defined UI font everywhere in GUI tools.Eygene Ryabinkin, Mar 26, 2007
  2. Junio C HamanoMar 26, 2007
  3. Frank LichtenheldMar 26, 2007
  4. Eygene RyabinkinMar 26, 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.