[L2Ork-dev] Getting ready for GSoC coding to begin

[Albert Graef]

Hi Jonathan,

I don't remember from the top of my head, but there are some instructions
here:
https://devconnected.com/how-to-delete-local-and-remote-tags-on-git/

Something like this should hopefully do the trick:

git tag -d 3.0.0
git push --delete origin 3.0.0

Albert


On Fri, May 29, 2020 at 12:34 AM Jonathan Wilkes <jon.w.wilkes at gmail.com>
wrote:

> On Thu, May 28, 2020 at 6:18 PM Albert Graef <aggraef at gmail.com> wrote:
> >
>
> > 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.
>
> I guess if it wasn't documented as a feature we can make a minor version
> bump.
>
> If you can give me directions about how to un-push the tag, I'll
> change the version number.
>
> -Jonathan
> _______________________________________________
> L2Ork-dev mailing list
> L2Ork-dev at disis.music.vt.edu
> https://disis.music.vt.edu/listinfo/l2ork-dev



-- 
Dr. Albert Gr"af
Computer Music Research Group, JGU Mainz, Germany
Email: aggraef at gmail.com, web: https://agraef.github.io/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://disis.music.vt.edu/pipermail/l2ork-dev/attachments/20200529/1cec3ea5/attachment.html>