git-gui: Allow users to edit user.name, user.email from options.
treed08d061eccea230b8d6d8c1de0f5f9555fc9a067
-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 138274 git-gui.sh