I think it can be done in the same code that provides the ticket box or the CI badges,
On Tuesday, January 31, 2023 at 12:00:20 PM UTC-8 Matthias Koeppe wrote: > 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/341a07f0-ca0b-42b1-8418-0c9d1ecf1ee9n%40googlegroups.com.
