def judge.move
import ezx@1.11.0.0/src/ledger/upgrade.bend as Upgradeimport Base
106# a different commit is the upgrade only when it descends from the pin
107def judge.move(onward: Bool, +rev: String, +tag: String) -> Verdict:
108 match onward:
109 case True{}:
110 Advance{rev, tag}
111 case False{}:
112 Off{}