2023年 8月 の投稿一覧

github上のbranchの削除した後に、gitのbranchを削除しようとしたら次のようにエラーが出た。
gitのbranchを削除した後に、github上のbranchの削除する必要がある。
削除する順番は重要だな。まぁ、-Dオプションで強制的にbranchの削除できるけどな。

追記 20231005
違うか。これは、mainでpullしていない状態でbranch削除しようとしてもエラーが出るな。
branch削除でエラーが出るパターンは複数あるみたいだな。