<div dir="ltr"><div>Hi Jonathan,</div><div><br></div><div>I don't remember from the top of my head, but there are some instructions here:</div><div> <a href="https://devconnected.com/how-to-delete-local-and-remote-tags-on-git/">https://devconnected.com/how-to-delete-local-and-remote-tags-on-git/</a></div><div><br></div><div>Something like this should hopefully do the trick:</div><div><br></div><div>git tag -d 3.0.0<br>git push --delete origin 3.0.0<br></div><div><br></div><div>Albert</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, May 29, 2020 at 12:34 AM Jonathan Wilkes <<a href="mailto:jon.w.wilkes@gmail.com">jon.w.wilkes@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Thu, May 28, 2020 at 6:18 PM Albert Graef <<a href="mailto:aggraef@gmail.com" target="_blank">aggraef@gmail.com</a>> wrote:<br>
><br>
<br>
> Well, I argued my case. IMHO, the public API didn't change, since this was never a documented feature. It's a bug which was now fixed. For me it doesn't matter how the bug came into being, whether it was introduced deliberately or by accident.<br>
<br>
I guess if it wasn't documented as a feature we can make a minor version bump.<br>
<br>
If you can give me directions about how to un-push the tag, I'll<br>
change the version number.<br>
<br>
-Jonathan<br>
_______________________________________________<br>
L2Ork-dev mailing list<br>
<a href="mailto:L2Ork-dev@disis.music.vt.edu" target="_blank">L2Ork-dev@disis.music.vt.edu</a><br>
<a href="https://disis.music.vt.edu/listinfo/l2ork-dev" rel="noreferrer" target="_blank">https://disis.music.vt.edu/listinfo/l2ork-dev</a></blockquote></div><br clear="all"><br>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr">Dr. Albert Gr"af<br>Computer Music Research Group, JGU Mainz, Germany<br>Email: <a href="mailto:aggraef@gmail.com" target="_blank">aggraef@gmail.com</a>, web: <a href="https://agraef.github.io/" target="_blank">https://agraef.github.io/</a></div></div></div></div></div></div>