Don't barf on duplicate recent repo list entries, nor a full list#10

Merged

patthoyts merged 4 commits intopatthoyts:masterfrom PhilipOakley:dup-gui

Mar 18, 2017

Commits on Jan 20, 2017

git-gui: remove duplicate entries from .gitconfig's gui.recentrepo
Philip Oakley
committed
git gui: cope with duplicates in _get_recentrepo
Philip Oakley
committed
git gui: de-dup selected repo from recentrepo history
Philip Oakley
committed
git gui: allow for a long recentrepo list
Philip Oakley
committed