def decide.tip

ezx@1.11.0.0 · src/tool/plan.bend:964

import Base
import ezx@1.11.0.0/src/tool/world.bend as TW

964# a remote's HEAD has to name a commit
965def decide.tip(ok: Bool, +url: String, +world: TW.World) -> Verdict:
966  match ok:
967    case True{}:
968      decide.co(co(world), world)
969    case False{}:
970      Stop{"ez: " ++ url ++ " has no HEAD"}