def repo.name

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

import ezx@1.11.0.0/src/tool/plan.bend as Plan
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

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

Uses (4)

Used by (1)