レポジトリ名を取得する

$ basename `git rev-parse --show-toplevel`

command - How do you get git repos name in some git repository? - Stack Overflow

でよいのだけれど、そもそもbasenameとは

basename, dirname -- return filename or directory portion of pathname

(manコマンド調べ)

そしてgit rev-parse --show-toplevelとは

トップレベルディレクトリを絶対パスで取得

git rev-parse でできること - Qiita [キータ]

とのこと。

故に

`git rev-parse --show-toplevel` → /Users/shige/projects/AddressBook_example
basename /Users/shige/projects/AddressBook_example → AddressBook_example

となるのだ。