def decide.said
ezx@1.11.0.0 · src/tool/plan.bend:972
import ezx@1.11.0.0/src/tool/plan.bend as Plan
import Base
import ezx@1.11.0.0/src/tool/world.bend as TW
import ezx@1.11.0.0/src/lock/up.bend as Up
import ezx@1.11.0.0/src/git/git.bend as Git
972def decide.said(said: Up.Said, +url: String, +world: TW.World) -> Verdict:
973 match said:
974 case Up.Said{_text}:
975 decide.tip(Git.is_rev(rev(world)), url, world)
976 case Up.Unsaid{why}:
977 Stop{why}
978 case Up.Unasked{ask}:
979 Pending{[], [ask]}