Hi Phillip, On Wed, 8 Sep 2021, Phillip Wood via GitGitGadget wrote: > From: Phillip Wood <phillip.wood@xxxxxxxxxxxxx> > > 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
