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

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