GitHubにプッシュしたブランチを操作することがあったのでそれのメモ。
でも大分前の記憶をたよりに書いているので間違ってる可能性が……
ブランチの上書き
$ git push origina +develop
"+"を付けると上書きになります。
ブランチの削除
$ git branch -d develop
$ git push origin :develop
":"を付けると削除になります。
Git何でも出来るけど、それ相応に危険なのかも。
とはいえMercurialだと手の届きにくいところもすぐ手が届くというか。