*Sorry, typo in the headline: July -> June!* seb....@gmail.com schrieb am Freitag, 7. Juni 2024 um 23:49:54 UTC+2:
> 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/e463022b-42b5-4cfa-b39b-ee60b74e7115n%40googlegroups.com.
