Delete Git tag / release version

Deleting or updating a GitHub or GitLab release leaves the Git tag, which must also be deleted to reissue a corrected release.

  1. delete the Git tag locally. Here we assume the release tag was v1.2.3

    git tag -d v1.2.3
  2. delete the Git tag on remote site

    git push -d origin v1.2.3

    This puts the release notes from v1.2.3 into “draft” mode–hidden from the public.

  3. Make the necessary changes, then do the release again, reusing the draft release notes.