Update "git-pull-script" to use "read-tree -m" for
authorLinus Torvalds <torvalds@ppc970.osdl.org.(none)>
Tue, 19 Apr 2005 19:56:47 +0000 (12:56 -0700)
committerLinus Torvalds <torvalds@ppc970.osdl.org.(none)>
Tue, 19 Apr 2005 19:56:47 +0000 (12:56 -0700)
commit8ccfbf3279b07028035aeb58baed5c4a79b63567
tree79c21a1f0b5ac1eab8ac9044564468048f320fd6
parenta3a65234dba0f90a0b8e06fa7b5f269fe5126761
Update "git-pull-script" to use "read-tree -m" for
reading a single tree too. That should speed up a
trivial merge noticeably.

Also, don't bother reading back the tree we just wrote
when we committed a real merge. It had better be the
same one we still have..
git-pull-script