On Thu, Oct 31, 2013 at 2:43 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > Junio C Hamano <gitster@xxxxxxxxx> writes: > The other reason the original did not say "origin/master" is because > this holds true even if you do not have such a remote-tracking > branch for the master at the origin, but the illustration that shows > the history after "git pull" finishes spells remotes/origin/master > out, so I think it would be an improvement to make the two pictures > consistent by drawing where the origin/master is before this "git > pull" is run. So you care about "reality" when it fits your argument, but not when it doesn't. Got it. -- Felipe Contreras -- 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