Thank you so much for your work on this transition Matthias! David On Mon, Feb 6, 2023 at 9:34 PM Dima Pasechnik <dimp...@gmail.com> wrote:
> > > On Mon, Feb 6, 2023 at 8:17 PM Matthias Koeppe <matthiaskoe...@gmail.com> > wrote: > > > > Dear Sage developers, > > As the migration of the Trac tickets to GitHub issues was completed > yesterday night, I am stepping away for a little while from working on the > development infrastructure of the project. > > 🙏 you did wonders! > > > In the next weeks, the developer community should discuss, implement, > and document the necessary refinements to the workflow sketched in our > transition guide. Most pressing is the question of teams and their > permissions. More tasks are listed in: > > > https://github.com/sagemath/trac-to-github/issues?q=is%3Aopen+is%3Aissue+milestone%3A%22Right+after+the+migration%22 > > > > > > Matthias > > > > -- > > 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/451f72e3-5bf8-4880-abfc-f5a775ca2c0cn%40googlegroups.com > . > > -- > 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/CAAWYfq3Sk79_An7qVb2Y8G%2B1vYa1WUWFfh%3DbgCPmxxcqekuFBw%40mail.gmail.com > <https://groups.google.com/d/msgid/sage-devel/CAAWYfq3Sk79_An7qVb2Y8G%2B1vYa1WUWFfh%3DbgCPmxxcqekuFBw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CAChs6_%3DM_Ft5MRx6jE_r5N2H1r2SCooBhnw4VBc-8%3Dn9cDnq%3DQ%40mail.gmail.com.
