Merge branch 'er/ui'
-rwxr-xr-x 1814 GIT-VERSION-GEN
-rw-r--r-- 1725 Makefile
-rwxr-xr-x 150542 git-gui.sh