git-gui: Added arbitrary branch pushing support.
treef272557f73d78cee183160a8958207c994fadc46
-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 115930 git-gui.sh