111 migrated tickets + 32 PRs are waiting for review

74 views

Skip to first unread message

unread,

Feb 11, 2023, 11:25:22 PM2/11/23

to sage-devel

I've just marked all migrated tickets that already had a merge conflict at the time of the migration as "needs work".

All, please help review the 111 remaining issues (and 32 PRs) that "need review":

unread,

Feb 13, 2023, 3:06:45 PM2/13/23

to sage-devel

Per Volker's message https://groups.google.com/g/sage-release/c/kRw2-5s399U, only PRs will be merged from now on.

I have relabeled all issues (migrated from tickets) that were in "needs review" status to "needs work".