From: Jeff King <peff@peff.net>
Date: Mon, 28 Apr 2008 09:09:48 GMT
Subject: Re: [PATCH resend] make "git push" update origin and mirrors, "git push --mirror" update mirrors
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