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/8b931ce8-5159-4074-8593-03c3227ed553n%40googlegroups.com.
