generated at
2/18/2025, 1:41:32 PM
merge済みのbranchを削除する
なんでdefaultで残るようになっているんだろうか
後で必要になったとしてもrestore branchで復活できるわけだし
merge後に自動削除する設定もある
https://docs.github.com/ja/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-the-automatic-deletion-of-branches
https://docs.github.com/ja/repositories/configuring-branches-and-merges-in-your-repository/managing-branches-in-your-repository/deleting-and-restoring-branches-in-a-pull-request