Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes: > Some confusing tutorials suggest that it would be a good idea to call > something like this: > > git pull origin master:master > > While it might make sense to store what you want to merge, it typically > is plain wrong. I am somewhat confused. This "confusion" has been there for very long time and (at least the scripted version of) git-pull/git-fetch pair has supported a workaround in the form of --update-head-ok option. Have we broken the workaround ll.127..147 in git-pull.sh recently, or are you trying to address something else? -- 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
