Code

git-gui: Disable pull menu items when the index is locked.