git-gui: remove duplicate entries from .gitconfig's gui.recentrepo