github の tag を削除する

メモ

github でタグはつけられるけど,削除するのは手元でやって push するしかない?

git push --delete origin v.1.2.0

みたいにする.