git gui: de-dup selected repo from recentrepo history
[git] / windows /
drwxr-xr-x   ..
-rwxr-xr-x 687 git-gui.sh