気づいたら PR をマージするときにグレーアウトしててソースブランチを削除できなくなってしまいました。 このままではゴミブランチが溜まってしまうのでその対処法を備忘録します。 といっても単純で、リポジトリの設定で Force push の設定を Allow にして…