I'm not seeing anything in the docs for how to just get the repo name: https://www.pygit2.org/repository.html
Is reading the origin remote and parsing it out the only way pygit supports this or is there a more reliable or specific property for this?
myrepo = Repository(".")
for remote in myrepo.remotes:
if remote.name == "origin":
print(remote.url)
# now parse [email protected]:mybb-workspace/myrepo.git ??