def origin.of

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

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

602# where the checkout came from, as a person named it: a remote's URL, or a
603# path's real path
604def origin.of(pl: Tgt.Place, +world: TW.World) -> String:
605  match pl:
606    case Tgt.Bad{_why}:
607      ""
608    case Tgt.Local{_p}:
609      top(world)
610    case Tgt.Remote{url, _slug}:
611      url