git push --deleteコマンドでリモートリポジトリのブランチを削除する
$git push --delete remote-repository-name branch-name
$git push origin --all
した後に、別に$git push origin master
で十分だったなと考え、リモートリポジトリのブランチだけ削除する方法が無いか調べました。
滅多に使う機会が無さそうなので、次に使おうと思った時に忘れてても大丈夫なように書き留めておきます。
NAME
git-push - Update remote refs along with associated objects
OPTIONS
--delete
All listed refs are deleted from the remote repository.
This is the same as prefixing all refs with a colon.
Git - git-push Documentation