git-gui: generic version trimming