From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Thu, 09 Sep 2021 10:54:52 GMT
Subject: Re: [PATCH 5/5] rebase: remove unused parameter
Message-ID: <nycvar.QRO.7.76.6.2109091254010.59@tvgsbejvaqbjf.bet>
In-Reply-To: <c8a92d4242b4dfad71297d1eec9c3ef658641193.1631108472.git.gitgitgadget@gmail.com>

Hi Phillip,

On Wed, 8 Sep 2021, Phillip Wood via GitGitGadget wrote:

> From: Phillip Wood <phillip.wood@dunelm.org.uk>
>
> Now that we use reset_head() we don't need to pass orig_head around.

Does this indicate a change in behavior? When we call `update_ref()` with
the original `HEAD`, we get some version of safety in that it will fail if
anything changed the ref in an unexpected way in the meantime.

Ciao,
Dscho