mergeやpushをしていないブランチを削除するには、git branch -D branch_nameとする必要がある。
branchのdeleteオプション
-d, --delete delete fully merged branch -D delete branch (even if not merged)
訳すと、
-d, --delete 完全にマージされたブランチを削除する -D ブランチを削除する (たとえマージされてなくても)
唐突な倒置法。
実際にpushやmergeをしていないブランチを、-dで削除しようとすると、
error: The branch 'my_wc_object' is not fully merged. If you are sure you want to delete it, run 'git branch -D branch_name'.
と出る。
記事にするほどでもないけど手を動かしたくて書いた記事。
