From: Rodrigo Silva Mendoza <rodrigosilvamendoza3@gmail.com>
Date: Wed, 15 Jun 2022 04:18:51 GMT
Subject: Re: Best way to update `HEAD` in mirrored repos
Message-ID: <CANWRddP3eUNiOTL0Jq_MoTXHUQFP430UcnCJBsm8pyqyVgrV1w@mail.gmail.com>
In-Reply-To: <CANWRddMXrhs2grTfq9NtHM7KqxaFRejvaXxvDGV90_m=Kmm-uA@mail.gmail.com>

On Tue, Jun 14, 2022 at 9:11 PM Rodrigo Silva Mendoza
<rodrigosilvamendoza3@gmail.com> wrote:

> Good news Johannes, your patch worked for me as well! Here's a run
> with the patched code.
>
>     $ git --version
>     git version 2.37.0.rc0.dirty
>     $ git clone git@github.com:xvandish/livegrep-fragment.git --mirror
>     $ cd livegrep-fragment
>     $ git symbolic-ref HEAD
>     refs/heads/good_main_5
....

Whoops, botched the output of the first `git symbolic-ref HEAD` call.
It should be:

    $ git symbolic-ref HEAD
    refs/heads/good_main_4

Cheers,
Rodrigo