pub fn forget_integration(target: &Utf8Path, branch: &str)Expand description
Drop one branch’s entry from the ledger, after the branch is gone.
A retired branch’s evidence has nothing left to prove, and a name is reused: keeping the entry would leave the ledger growing and a stale answer standing. A failure here is silent, because the deletion it follows already succeeded and the residue proves nothing.