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". The work = merge current upstream/develop and create a PR.
On Saturday, February 11, 2023 at 8:25:22 PM UTC-8 Matthias Koeppe wrote: > 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": > > https://github.com/sagemath/sage/issues?q=is%3Aopen+sort%3Aupdated-desc+label%3A%22s%3A+needs+review%22+ > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/69a872ff-025c-4b5d-a5cb-fbb98245406bn%40googlegroups.com.
