Hi, On Thu, 25 Oct 2007, Andreas Ericsson wrote: > Jakub Narebski wrote: > > On 10/24/07, Andreas Ericsson <ae@xxxxxx> wrote: > > > > > git pull. Not git push. git pull operates on one working branch at a > > > time (by default), whereas git push uploads and fast-forwards all > > > the common branches (by default). I want git pull to work like git > > > push. > > > > git push is opposite (almost) to git fetch, not to git pull. > > Not to an end user that has no idea or desire to learn about git remotes > or anything else. At some point you _have_ to expect your users to learn something. In the git documentation, we never pretend that pull is anything else than "fetch + merge". So this assumption of your end user is a lack of training, really. Ciao, Dscho - 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
