Re: Best way to update `HEAD` in mirrored repos

[Rodrigo Silva Mendoza <rodrigosilvamendoza3@xxxxxxxxx>]

Hi Johannes,

On Thu, Jun 9, 2022 at 1:02 AM Johannes Schindelin
<Johannes.Schindelin@xxxxxx> wrote:
>
>
> The reason is that `set-head` expects options to come before arguments,
> like so:
>
>         git remote set-head -a origin
>
> Ciao,
> Johannes


Hmm, that doesn't seem to work for me either - I get the same type of
error as before.
Here's a minimal repro:
    $ git clone git@xxxxxxxxxx:git/gitscm-old.git --mirror
    $ cd gitscm-old.git
    $ git remote set-head -a origin
      error: Not a valid ref: refs/remotes/origin/master

Git version: git version 2.32.1 (Apple Git-133)

Let me know if I'm missing anything.

Cheers,
Rodrigo