読者です 読者をやめる 読者になる 読者になる

github の tag を削除する

メモ

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

git push --delete origin v.1.2.0

みたいにする.