覚書き。
リモートブランチを削除する
git push --delete origin branch_name
もしくは
git push origin :branch_name
※リポジトリの運用方法に配慮して削除すること。
他人が削除したリモートブランチがローカルに残ってる
git branch -a
を実行したときに、恐ろしい量のbranchリストが出てくるって人はこれが原因かもしれない。
他人が追加したリモートブランチはfetchで取ってこれるが、削除したブランチはそのまま残る。
削除されたリモートブランチをローカルに適用するにはオプションが必要。
git fetch --prune ( git fetch -p )
そんなオプションは面倒
ホームディレクトリの.gitconfigに設定することで、fetchに自動でpruneを実行してくれる。
リポジトリの運用上問題が無ければ設定した方が楽かもしれない。
コマンドで、
git config --global fetch.prune true
を実行するか、
ホームディレクトリの.gitconfigに
[fetch]
prune = true
を追記する。
(コマンドを実行すれば追記されます)
以上