Re: [PATCH 3/4] remote prune: print the list of pruned branches

From: Olivier Marin <dkr+ml.git@free.fr>
Date: Jun 12, 2008, 11:07 UTC
Message-ID: <48510382.9000302@free.fr>
In-Reply-To: <7v63sf9lye.fsf@gitster.siamese.dyndns.org>

Junio C Hamano a écrit :

> 
> Thanks.  I've queued the series (with minor fixups and rewording) to
> 'next' already, hoping that we can merge this fix to 'master' before
> 1.5.6.

Thanks. I find your "would prune/pruned" better.

> But I am very tempted to also apply the following on top.  Thoughts?

Actually, I did that to stay consistent with "git remote update" and, as a user, I prefer to see something. That said, I not opposed to your patch.

Olivier.

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