git gui: allow for a long recentrepo list