git-gui: Disable pull menu items when the index is locked.
tree7a1166397c8c5f530f71c7530accc301eace25b1
-rw-r--r-- 1253 TODO
lrwxrwxrwx 7 git-citool -> git-gui
-rwxr-xr-x 42950 git-gui