When you are working in some Git directory, how can you get the Git repository name in some Git repository? Are there any Git commands?
# I did check out bar
I think this is a better way to unambiguously identify a clone of a repository.
git config --get remote.origin.url and checking to make sure that the origin matches ssh://your/repo.
git config --get remote.origin.url
ssh://your/repo