Re: [PATCH 08/14] pull: fast-forward working tree if head is updated
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- May 18, 2015, 19:18 UTC
- Message-ID
- <4148931c0c9476093184fd252f8428d9@www.dscho.org>
- In-Reply-To
- <1431961571-20370-9-git-send-email-pyokagan@gmail.com>
Hi Paul,
On 2015-05-18 17:06, Paul Tan wrote:
> Since b10ac50 (Fix pulling into the same branch., 2005-08-25), git-pull, > upon detecting that git-fetch updated the current head, will > fast-forward the working tree to the updated head commit.
This is just a quick note about something I noticed while reviewing: I was surprised that this code path would only trigger when `orig_head` is different from the null SHA-1, because in my mind, it is safe to update when we are on an unborn branch. However, I verified that the shell script does the same thing, so your transcription is faithful.
Ciao, Dscho