GitのタグをLocal / GitHub両方で掃除する方法

デモアプリを作っていると、定期的にtagを消して操作をやり直したくなることがあります。まぁ、CI/CD系のデモで「git tag v0.1.1を実施したら〜」的なコンテンツを書いているときの、スクショ作成などをやり直すときなどですね。そんな時に過去のタグを掃除する必要があるので、