Yes, that is planned as the last item in https://github.com/sagemath/trac-to-github/issues/73 This will need help from a Trac admin.
On Tuesday, January 31, 2023 at 11:31:16 AM UTC-8 John H Palmieri wrote: > Is there going to be one more round of (presumably automatic) additions to > trac, providing a link from each trac ticket to the corresponding GH issue? > > > On Monday, January 30, 2023 at 2:06:34 PM UTC-8 dim...@gmail.com wrote: > >> On Mon, Jan 30, 2023 at 9:56 PM Kwankyu Lee <ekwa...@gmail.com> wrote: >> > >> > On Tuesday, January 31, 2023 at 5:41:39 AM UTC+9 dim...@gmail.com >> wrote: >> > >> > Did you log out? Or you were basically kicked out? >> > >> > I didn't log out. >> >> OK, so perhaps (former) TRAC_ADMINS, such as David, are treated >> differently? >> OK, it's good news. We didn't have many of these (under 20), so it's >> reasonable to assume they won't >> go change contents, if for some reason they have an authenticated to >> trac browser session lying somewhere... >> >> >> >> > >> > -- >> > 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+...@googlegroups.com. >> > To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/e92978b7-54f7-4a18-ad89-30c64ce306d3n%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/a060822b-5c44-4546-b557-244fbd6a48ffn%40googlegroups.com.
