github の tag を削除する

メモ

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

git push --delete origin v.1.2.0

みたいにする．