On Tuesday, February 20, 2024 at 10:11:14 AM UTC-8 seb....@gmail.com wrote:
can be activated immediately: If a user converts a ready PR to a draft, all status labels will be removed. If a draft is marked as *ready for review* the s: needs review label is added. Also implemented (but not activated): If the s: needs review label is added a draft PR, it is marked as *ready for review*. Sounds good to me, let's do this. -- 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/4d819a9c-d041-4722-9edf-f608c9a3eda0n%40googlegroups.com.
