git-gui: Enhance choose_rev to handle hundreds of branches