Re: [PATCH resend] make "git push" update origin and mirrors, "git push --mirror" update mirrors

From: Jeff King <peff@peff.net>
Date: Apr 28, 2008, 09:09 UTC
Message-ID: <20080428090948.GC16153@sigill.intra.peff.net>
In-Reply-To: <48155B7F.8020202@gnu.org>

On Mon, Apr 28, 2008 at 07:07:11AM +0200, Paolo Bonzini wrote:

> Ah, to do so I always do fetch+gitk+merge (or cherry-pick instead of  
> merge).  I use "git pull" (without arguments) only when I can blindly not 
> care about what's on the other side, e.g. because it's Junio who assures 
> it is good. :-)

Well, I lied a little; I also use fetch + examine + merge. But the idea about arguments holds true for "git fetch".

-Peff

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