Code

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