git gui: de-dup selected repo from recentrepo history