git-gui: Grab the index lock while running pull.
treec54f5b74355f9ea0d7d349fb9c7929982299d4be
-rw-r--r-- 1253 TODO
lrwxrwxrwx 7 git-citool -> git-gui
-rwxr-xr-x 42857 git-gui