From: Johannes Schindelin <hidden> Date: 2021-09-09 10:54:59
Hi Phillip,
On Wed, 8 Sep 2021, Phillip Wood via GitGitGadget wrote:
From: Phillip Wood <redacted>
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