Victor Garritano

You can change the default branch for the remote, just for a while. Something like `git remote set-head origin `. It works for me!

As a workaround, you can change the default branch for remote, using `git remote set-head `. Works like a charm