def label.of

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

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

522# the checkout, as a person knows it: a remote at its commit, or a path
523def label.of(pl: Tgt.Place, +world: TW.World) -> String:
524  match pl:
525    case Tgt.Bad{why}:
526      why
527    case Tgt.Local{_p}:
528      top(world)
529    case Tgt.Remote{url, _slug}:
530      url ++ " at " ++ rev(world)