Thanks Matthias for the detailed replies. I, and I'm sure all other sage developers, are extremely grateful for the work you and the others have done for this migration.
John On Tue, 17 Jan 2023, 19:23 Matthias Koeppe, <matthiaskoe...@gmail.com> wrote: > On Tuesday, January 17, 2023 at 2:10:24 AM UTC-8 john.c...@gmail.com > wrote: > one cannot tell without following the link whether the other ticket is > closed. This is important for other tickets which are dependencies. > > For the case of dependencies, there is a discussion in > https://github.com/sagemath/trac-to-github/issues/78 with some pointers > to bots (GH Actions workflows) that would keep track of which declared > dependencies are still open. I have chosen the format in which the > dependencies appear in the migrated ticket in a way that is compatible with > the major candidates for such workflows. > > -- > 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/5ea22368-93d5-4121-99fe-67628a780888n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/5ea22368-93d5-4121-99fe-67628a780888n%40googlegroups.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/CAD0p0K51%2BESVO5vvHXk5nfZVu7Wjzeb7r6wT5R06scVWCAtT1w%40mail.gmail.com.
