From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 18 Mar 2022 16:55:38 GMT
Subject: Re: [PATCH v5 0/2] rebase: update HEAD when is an oid
Message-ID: <xmqq35jfb3p1.fsf@gitster.g>
In-Reply-To: <pull.1226.v5.git.git.1647611643.gitgitgadget@gmail.com>

"John Cai via GitGitGadget" <gitgitgadget@gmail.com> writes:

> Fixes a bug [1] reported by Michael McClimon where rebase with oids will
> erroneously update the branch HEAD points to.

Looking good.  I am tempted to say that we should declare victory.

Thanks for working on this fix.