Opened 17 months ago

Closed 17 months ago

Last modified 17 months ago

#31805 closed defect (fixed)

Bad tag 9.4 on https://github.com/sagemath/sage should be deleted

Reported by: Matthias Köppe Owned by:
Priority: blocker Milestone: sage-duplicate/invalid/wontfix
Component: distribution Keywords:
Cc: Samuel Lelièvre, Volker Braun, Dima Pasechnik Merged in:
Authors: Reviewers: Dima Pasechnik
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Change History (14)

comment:1 Changed 17 months ago by Matthias Köppe

Summary: Current develop is mis-tagged as 9.4Current master on trac is mis-tagged as 9.4

comment:2 Changed 17 months ago by Samuel Lelièvre

Cc: Samuel Lelièvre added

The "releases" page on GitHub:

has 9.4 from 2021-05-09 20:35 UTC and 9.3 from 2021-05-09 22:00 UTC, differing only by that.

Once the new version was out as 9.4, I would have let it be: luckily it had slipped up and not down.

I wonder if any robots are going to have picked it up and cause trouble.

Should we skip the 9.4 version number now and call 9.5 the next cycle?

comment:3 Changed 17 months ago by Matthias Köppe

Milestone: sage-9.3sage-9.4

Moving to 9.4, as 9.3 has been released.

comment:4 Changed 17 months ago by Samuel Lelièvre

Or maybe 9.4.1 would be a good next version number.

comment:5 Changed 17 months ago by Matthias Köppe

Description: modified (diff)
Summary: Current master on trac is mis-tagged as 9.4Bad tag 9.4 on https://github.com/sagemath/sage should be deleted

comment:6 Changed 17 months ago by Matthias Köppe

Cc: Dima Pasechnik added

comment:7 Changed 17 months ago by Dima Pasechnik

OK, done.

I've also manually added 9.3 to the 9.3 release title - this is needed so that it's marked as latest by GH. I also had to do this for 9.2.

Volker, is it something in your release scripts that needs fixing?

comment:8 Changed 17 months ago by Dima Pasechnik

Status: newneeds_review

comment:9 Changed 17 months ago by Dima Pasechnik

Reviewers: Dima Pasechnik
Status: needs_reviewpositive_review

comment:10 Changed 17 months ago by Samuel Lelièvre

Resolution: fixed
Status: positive_reviewclosed

comment:11 Changed 17 months ago by Volker Braun

What do you mean by release title?

I don't push to github directly, there is a script somewhere that syncs trac -> github

comment:12 in reply to:  11 Changed 17 months ago by Dima Pasechnik

Replying to vbraun:

What do you mean by release title?

I don't push to github directly, there is a script somewhere that syncs trac -> github

GH releases have a tag and a title. Releases without a title are somehow considered drafts. We normally set title to be the same as the tag, but this is something that script has to do.

comment:13 Changed 17 months ago by Dima Pasechnik

you can see the release title if you try to edit it (e.g. try to edit 9.3.rc5)

comment:14 Changed 17 months ago by Matthias Köppe

Milestone: sage-9.4sage-duplicate/invalid/wontfix
Note: See TracTickets for help on using tickets.