Re: [PATCH 03/16] pull: cleanup documentation
- From
Felipe Contreras <felipe.contreras@gmail.com>
- Date
- Oct 31, 2013, 21:16 UTC
- Message-ID
- <CAMP44s14_GbN0nEm4Eu2Jdb5cO+jVaTVOnDqzwv0GK4_jfD93w@mail.gmail.com>
- In-Reply-To
- <xmqqfvrh41e0.fsf@gitster.dls.corp.google.com>
On Thu, Oct 31, 2013 at 2:43 PM, Junio C Hamano <gitster@pobox.com> wrote:
> Junio C Hamano <gitster@pobox.com> writes:
Show 7 quoted lines
> 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