git-gui: Remove Pull menu and cleanup Branch/Fetch/Push menus.
tree03867e5e482004430ddc347a6dbc44f4df8aafe2
-rw-r--r-- 36 .gitignore
-rwxr-xr-x 745 GIT-VERSION-GEN
-rw-r--r-- 1200 Makefile
-rw-r--r-- 1659 TODO
-rwxr-xr-x 112087 git-gui.sh