def repo.name
import ezx@1.11.0.0/src/tool/plan.bend as Planimport 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)))