git-gui: Remove no longer used pull from remote code.
tree3db318113a898523311f075fa92dc75b56501208
-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 114186 git-gui.sh