git-gui: Suggest when running 'git gc' may be worthwhile.
tree5b74706562fd07cb240ef9db546ae3d35283d506
-rw-r--r-- 36 .gitignore
-rwxr-xr-x 745 GIT-VERSION-GEN
-rw-r--r-- 1200 Makefile
-rw-r--r-- 1948 TODO
-rwxr-xr-x 91985 git-gui.sh