narrow window where HEAD is detached
authorJoey Hess <joeyh@joeyh.name>
Wed, 7 Jun 2023 15:10:54 +0000 (11:10 -0400)
committerJoey Hess <joeyh@joeyh.name>
Wed, 7 Jun 2023 15:10:54 +0000 (11:10 -0400)
commit64fc34b3dab4c3ae1a623d1dce8e8b1110045e33
treeba3ea2c24fac8bd533930971e630c3bb8e6d16bb
parent5bc37c2de21467bfe9c1edf49f9e3e63d09553e4
narrow window where HEAD is detached

Updating an adjusted branch can take a while when there are a lot of
files. HEAD was detached at the start, so if eg git-annex sync was
interrupted at the wrong point, there was a possibly wide window where
it would leave the repo with HEAD detached.

There's still a window, just much narrower. I don't know if it's
possible to close the window entirely. While git can clearly update
the currently checked out branch in eg git merge, it doesn't seem to
provide another way to do it.

Sponsored-by: Graham Spencer on Patreon
Annex/AdjustedBranch.hs