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, 01:26 UTC
Message-ID: <20080428012613.GB15121@sigill.intra.peff.net>
In-Reply-To: <4814E097.7030407@gnu.org>

On Sun, Apr 27, 2008 at 10:22:47PM +0200, Paolo Bonzini wrote:

> I think "git pull" is different, because it is more often fetching from  
> one defined place (while Shawn said that he has a need for one-to-many  
> "git push"es and so do I).  For "git pull", the branch config provides a  
> valuable default more often than for "git push".

I think it is highly dependent on your workflow. I would have said the exact opposite.

For example, on one project, I keep a "working" repo on my laptop where I develop and integrate work from others. I get their work by pulling individually from other developers. But when I push, it always goes to one place: my "publish" repo, where the other developers will grab my changes.

In that workflow, I pull from many different places, but always push to one. I assumed that is actually similar to the Linus "integrator" workflow (although I think he just does one-shot pulls without defining remotes).

-Peff