On Sat, Jan 2, 2021 at 6:47 PM Felipe Contreras
<felipe.contreras@gmail.com> wrote:
>
> You do see why I think 'git checkout ' is more friendly than 'git'
> 'checkout' '', right?

Try this one.  I think I'm probably done fooling around with this.