It must be done by a maintainer of the repository (see the desription of SYNC_LABELS_IGNORE_EVENTS in #35172 <https://github.com/sagemath/sage/pull/35172#issue-1595552799>). However, the restriction regarding the error in the web interface must then be accepted.
Matthias Koeppe schrieb am Dienstag, 20. Februar 2024 um 19:22:19 UTC+1: > 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/794f21a5-6209-4d33-b78d-36dbff290d34n%40googlegroups.com.
