Hi Rodrigo,

On Wed, 8 Jun 2022, Rodrigo Silva Mendoza wrote:

`git remote set-head origin -a`
   Fails with "error: Not a valid ref:
refs/remotes/origin/good_main_3". The ref it fails with is whatever
the remote HEAD is.

The reason is that `set-head` expects options to come before arguments,
like so:

	git remote set-head -a origin

Ciao,
Johannes