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

From: Rodrigo Silva Mendoza <rodrigosilvamendoza3@gmail.com>
Date: Jun 15, 2022, 04:18 UTC
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:

Show 9 quoted lines

> 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