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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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:
> 
> > 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
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html

[Index of Archives]     [Linux Kernel Development]     [Gcc Help]     [IETF Annouce]     [DCCP]     [Netdev]     [Networking]     [Security]     [V4L]     [Bugtraq]     [Yosemite]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Linux SCSI]     [Fedora Users]

  Powered by Linux