いがいが日記

_ [git] リモートのブランチを削除したのにローカルでは反映されない

リモートのブランチ(dst)を削除するにはたとえばこんなコマンド。

$ git push origin :dst

:があるのは、その前に空のローカルブランチ名を指定していて、

それをリモートブランチ（消す対象）にpushするから削除、と解釈してます。

さて、削除は成功したものの、ローカルで git branch -a しても反映されてなく、残ってます。

$ git remote update

で直ったり、直らなかったり。

$ git fetch origin

でもダメ。

そんなときは、

$ git pull --prune

というコマンドで削除状態が反映されました。

hsbtさんに教えてもらいました。ありがとー！(´▽`)

あと、昨日書き忘れたのですが、

$ git commit --amend

も便利ですね。直前のコミットに追加をねじこむ。

結構忘れものがあるとき多いのだよね。