Dear Sage developers, We will now continue with a process that started last July <https://groups.google.com/g/sage-devel/c/ElzW6XR4YAM/m/q9a0cEvgAQAJ>. Unfortunately, this was blocked for many months while we waited for GitHub to fix a bug in their web-interface. Although this bug is still not fixed (see this comment on #35927 <https://github.com/sagemath/sage/issues/35927#issuecomment-2152993322>), parts of label sync that are less critical to this bug should continue.
As before, the bot will be enabled in several steps. These are tracked in issue #35927 <https://github.com/sagemath/sage/issues/35927>. We are moving on to step 3 <https://github.com/sagemath/sage/issues/35927#issuecomment-2154192483> and 4 <https://github.com/sagemath/sage/issues/35927#issuecomment-2154204573>, the first of which will be enabled next Tuesday. These steps will allow developers who are not members of the Triage team to have the s: needs review label on their PRs. Please post comments, suggestions and bug reports on #35927 <https://github.com/sagemath/sage/issues/35927>. 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/525e0088-1a08-4941-80d7-47755460af73n%40googlegroups.com.
