git-gui: offer a list of recent repositories on startup