git gui: cope with duplicates in _get_recentrepo