Plan.repo.name: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/tool/plan.bend as Plan
Lines 592-595 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=592&end_line=595

import Base
import ezx@1.11.0.0/src/pkg/path.bend as Path
import ezx@1.11.0.0/src/ez/target.bend as Tgt

# a repository's name: the last component of its URL or path, a trailing
# slash and `.git` taken off, so `https://github.com/o/bolt.git` is `bolt`
def repo.name(+url: String) -> String:
  Path.base(Tgt.ungit(Tgt.unslash(url)))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/target.bend&name=ungit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/target.bend&name=unslash
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/path.bend&name=base