On Wednesday, February 21, 2024 at 3:11:14 AM UTC+9 seb....@gmail.com wrote:
This is currently not implemented, but of course possible. But the converse can be activated immediately: If a user converts a ready PR to a draft, all status labels will be removed. Do not activate because of the github bug If a draft is marked as *ready for review* the s: needs review label is added. Activate immediately. Also implemented (but not activated): If the s: needs review label is added a draft PR, it is marked as *ready for review*. Activate immediately. Is this selective activation possible? If the syncing script should be modified to implement this, please open a PR. -- 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/ccdb3092-47ac-4c38-a83c-2424ec2f3bf2n%40googlegroups.com.
