Re: Cleaning up git user-interface warts

From: Nicolas Pitre <nico@cam.org>
Date: Nov 15, 2006, 20:26 UTC
Message-ID: <Pine.LNX.4.64.0611151524000.2591@xanadu.home>
In-Reply-To: <20061115201227.GM7201@pasky.or.cz>

On Wed, 15 Nov 2006, Petr Baudis wrote:

Show 7 quoted lines

> On Wed, Nov 15, 2006 at 03:10:16AM CET, Junio C Hamano wrote:
> > You have to admit both pull and fetch have been contaminated
> > with loaded meanings from different backgrounds. I was talking
> > about killing the source of confusion in the longer term by
> > removing fetch/pull/push, so we are still on the same page.
> 
> How was/is fetch contaminated?

I think "fetch" is sane. Its only problem is a missing symetrical counterpart verb, like "get" and "put".

$ 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.