Plan.place.pin: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/tool/plan.bend as Plan Lines 147-155 of ezx@1.11.0.0/src/tool/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/tool/plan.bend&start_line=147&end_line=155 import Base import ezx@1.11.0.0/src/ez/target.bend as Tgt # a pin names a git repository; a path is no pin def place.pin(pl: Tgt.Place) -> Tgt.Place: match pl: case Tgt.Bad{why}: Tgt.Bad{why} case Tgt.Local{_p}: Tgt.Bad{"a pinned tool names a git repo"} case Tgt.Remote{url, slug}: Tgt.Remote{url, slug} Uses (1): https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/target.bend&name=Place