Dear Sage developers, You may have noticed that since yesterday a new type of labels with the `v:` prefix has appeared on our PRs. These are automatically set to classify PRs based on their size. For more information, see #37262 <https://github.com/sagemath/sage/pull/37262>.
Sebastian -- 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 sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/970aed50-44ff-48dd-92c9-31ba281fa061n%40googlegroups.com.