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

From: Junio C Hamano <gitster@pobox.com>
Date: Jun 8, 2022, 22:53 UTC
Message-ID: <xmqq5ylapy0s.fsf@gitster.g>
In-Reply-To: <CANWRddN4R6AceeaOyZm1vs8AXBNv3J+cE5MOyrhKVhcqddjUOA@mail.gmail.com>

Rodrigo Silva Mendoza <rodrigosilvamendoza3@gmail.com> writes:

Show 15 quoted lines

> What I've got that I think works
> 1. Get the ref from the origin that points to `HEAD`. Extract the ref
> from the output.
> 2. Manually update the `HEAD` ref with the extracted output prior step
>
> Like so:
> ```
> $ git ls-remote --symref origin HEAD
> ref: refs/heads/good_main_3     HEAD
> 0666a519f94b8500ab6f14bdf7c9c2e5ca7d5821        HEAD
>
> $ git symbolic-ref HEAD refs/heads/good_main_3
> ```
>
> Does this make sense?

Yes.  That soudns like the right thing to do.