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

On Mon, Apr 28, 2008 at 05:09:48AM -0400, Jeff King wrote:

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

quoted

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

BTW, I find myself decreasingly using "git fetch" in favor of "git
remote update" which handles fetching from multiple remotes. That seems
to be analagous to what you want with "git push". IOW, maybe instead of
changing the default behavior of "git push" you would be happy with a
"git remote push" which impacted multiple remotes.

-Peff