From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Thu, 09 Jun 2022 08:02:16 GMT
Subject: Re: Best way to update `HEAD` in mirrored repos
Message-ID: <nycvar.QRO.7.76.6.2206091000590.349@tvgsbejvaqbjf.bet>
In-Reply-To: <CANWRddN4R6AceeaOyZm1vs8AXBNv3J+cE5MOyrhKVhcqddjUOA@mail.gmail.com>

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