diff options
author | Jeff King <peff@peff.net> | 2011-03-25 14:10:38 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2011-03-25 14:16:01 -0700 |
commit | 97b1b4f3a682377aa8f03348618e79bd1df1772e (patch) | |
tree | ba48b388b69bc7bb7d86bcf46bba42d28baf51b0 /git-pull.sh | |
parent | d6d9e76d7f06c5ba94517d258e051544885780c5 (diff) | |
download | git-97b1b4f3a682377aa8f03348618e79bd1df1772e.tar.gz git-97b1b4f3a682377aa8f03348618e79bd1df1772e.tar.xz |
merge: merge unborn index before setting ref
When we merge into an unborn branch, there are basically two
steps:
1. Write the sha1 of the new commit into the ref pointed
to by HEAD.
2. Update the index with the new content, and check it out
to the working tree.
We currently do them in this order. However, (2) is the step
that is much more likely to fail, since it can be blocked by
things like untracked working tree files. When it does, the
merge fails and we are left with an empty index but an
updated HEAD.
This patch switches the order, so that a failure in updating
the index leaves us unchanged. Of course, a failure in
updating the ref now leaves us with an updated index and
mis-matched HEAD. That is arguably not much better, but it
is probably less likely to actually happen.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-pull.sh')
0 files changed, 0 insertions, 0 deletions