2015-12-21 github の tag を削除する メモ github でタグはつけられるけど,削除するのは手元でやって push するしかない? git push --delete origin v.1.2.0 みたいにする.