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

Jonathan Wilkes jon.w.wilkes at gmail.com
Thu May 28 21:06:38 EDT 2020


On Thu, May 28, 2020 at 6:45 PM Albert Graef <aggraef at gmail.com> wrote:
>
> 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

Thanks, that seems to have done the trick.

I bumped the minor version so it will be 2.11.0

-Jonathan

>
>
> 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/
> _______________________________________________
> L2Ork-dev mailing list
> L2Ork-dev at disis.music.vt.edu
> https://disis.music.vt.edu/listinfo/l2ork-dev


More information about the L2Ork-dev mailing list