gitのremote branchがlocalでゾンビ化したとき

GitHub で remote branch を削除すると、local で git remote -r を入力すると表示されてしまいます。
放置してもよいですが、削除したくて GitHub から削除したので、コマンドからも消し去る方法を調べました。

以下のコマンドで削除できます。

git remote prune origin