Remove GitHub release

えっ、どうやって消すんだっけ…。ってなったのでメモ。

まず対象のリリースに紐付けられているタグを消します。

$ git push --delete origin <tag 名>

するとリリースページで消したタグに関連づけられたリリースが Draft になるので、編集して屠ります。

以上です。