git-gui: Last minute idea about fetch shortcuts.
tree2a54bd88eb336d797b9dc2fbe5b98e8263ae3930
-rw-r--r-- 1225 TODO
lrwxrwxrwx 7 git-citool -> git-gui
-rwxr-xr-x 38170 git-gui