unison/unison-src/transcripts/fix-1381-excess-propagate.md

We were seeing an issue where (it seemed) that every namespace that was visited during a propagate would get a new history node, even when it didn't contain any dependents.

Example:

a = "a term"
X.foo = "a namespace"

scratch/main> add

Here is an update which should not affect X:

a = "an update"

scratch/main> update

As of the time of this writing, the history for X should be a single node, #4eeuo5bsfr;

scratch/main> history X

however, as of release/M1i, we saw an extraneous node appear. If your ucm is fixed, you won't see it below:

scratch/main> history #7nl6ppokhg