On Thu, Feb 11, 2010 at 09:57:54PM -0800, Junio C Hamano wrote: > Jeff King <peff@xxxxxxxx> writes: > > > In a distributed setup, I don't think it is that uncommon to not want to > > push to the place you pull from. You are generally pulling and building > > on somebody else's work, so if there is no central repo, you will be > > pushing to somewhere that is not where you pulled it. > > You are probably right. > > It still feels funny to see "git pull" and "git push" goes to different > places, but as long as that is what the user explicitly configures, that's > fine. By the way, I am a little iffy on the configuration I suggested. Even though it matches David's workflow, it seems unintuitive to me that a "push.defaultremote" variable would override what's in "branch.*.remote". -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