docket 0.31.1

Fixed

• The merge driver no longer renumbers records that are already on the default branch. When git merge brings the default branch into a branch that has not reached it, the branch's new ledger records and feature events take the fresh ids and the default branch's keep theirs, so citations of them elsewhere stay correct. With no default branch to find (origin/HEAD, origin/main, origin/master, main or master), or under rebase, cherry-pick and octopus merges, the current side still keeps its ids.