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

[Rodrigo Silva Mendoza <rodrigosilvamendoza3@xxxxxxxxx>]

On Tue, Jun 14, 2022 at 9:11 PM Rodrigo Silva Mendoza
<rodrigosilvamendoza3@xxxxxxxxx> 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@xxxxxxxxxx: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