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

From: Rodrigo Silva Mendoza <rodrigosilvamendoza3@gmail.com>
Date: Jun 9, 2022, 14:46 UTC
Message-ID: <CANWRddNa1nB9shoppfXuA2yqmd2353HVBopoufkh0SevnVrngA@mail.gmail.com>
In-Reply-To: <nycvar.QRO.7.76.6.2206091000590.349@tvgsbejvaqbjf.bet>

Hi Johannes,

On Thu, Jun 9, 2022 at 1:02 AM Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:

Show 9 quoted lines

>
>
> 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@github.com: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