Certainly the simplest thing is to just give up and bump the release number, start over with a different tag and forget about the botched one.
Certainly the simplest thing is to just give up and bump the release number, start over with a different tag and forget about the botched one.