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

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