On Sunday, September 18, 2022 at 9:55:10 AM UTC+9 Matthias Koeppe wrote:
> The conversion of the Trac tickets to GitHub Issues/PRs only works in one > shot. Incrementally syncing updates from Trac to existing issues is not > possible. > This means that we cannot continue to operate Trac after the switch. > That means (1) and (2) at the same time. I understand that the conversion is one shot process. But that does not technically force trac to be read-only. I suspect that there may be still some occasions to leave comments or something on trac after the migration. Perhaps just my imaginary concern... Okay. Thanks. -- 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/3580f98e-b869-49cd-a03a-5131cc786a70n%40googlegroups.com.