On Thu, 26 Jun 2014 04:42:38 -0700 (PDT) Pierre-François CLEMENT <lik...@gmail.com> wrote:
[...] > What I do not understand however, is what made you think *treaki* > needed these explanations in the first place? Don't get me wrong, > it's no big deal; but I could have asked the same question, and I > would have appreciated not being told stuff I already know about > git-pull / git-fetch / git-merge. Simply because I'm staying in the industry for long enough time to learn that terse and moot questions (like the OP's one) most of the time fall into the "XY problem" class [1]. I mean, if Git folks (most of which, trust me, are top-notch programmers and, obviously Git gurus) did not feel any need to implement git-pull-push, there's a reason to this, and hence I tried to explain why there's no such tool. I mean, I tried to make the OP reconsider his problem rather than merely providing a solution (which I did as well). I think that blind pull+push is a suboptimal thing; you think it's not, and that's fine, but we both are entitled to our own opinions and are free to express them, which I did. 1. http://meta.stackexchange.com/a/66378 -- You received this message because you are subscribed to the Google Groups "Git for human beings" group. To unsubscribe from this group and stop receiving emails from it, send an email to git-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
