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