git push --delete

git-pushにリモート・リポジトリからブランチの削除を行うためのオプション、--deleteがあることを知った。1.7.0で入ってたらしい。コロンつける奴は直ぐに忘れてしまうので、このオプションで覚える。SYNOPSISに載ってない……。 Release Noteによるとシンタックス・シュガーだということなので、 $ git push --delete origin foobar が、 $ git push origin :foobar と完全に等価ということみたい。はー覚えやすい。

[youpy]

リモートブランチの削除

[raimon49]

pushコマンドでリモートブランチを削除したい時のシンタックス・シュガー　--deleteオプション

[hitode909]

ブランチ 削除 シンタックスシュガー

[n2s]

「git push --delete origin foobar」=「git push origin :foobar」