dim...@gmail.com schrieb am Sonntag, 11. September 2022 um 01:36:31 UTC+2:
> > > On Sun, 11 Sep 2022, 00:22 seb....@gmail.com, <seb....@gmail.com> wrote: > >> Matthias Koeppe schrieb am Samstag, 10. September 2022 um 21:32:50 UTC+2: >> >>> On Saturday, September 10, 2022 at 8:12:48 AM UTC-7 Matthias Koeppe >>> wrote: >>> >>>> I've added a draft of a proposed workflow on GitHub with the idea to >>>> just follow the Trac workflow. >>>> Help is welcome in adding links to documentation for the various bits. >>>> >>>> I think we can have a fleshed out Trac to GitHub transition guide by >>>> the end of the weekend. >>>> >>>> >>> A draft of the Trac-to-GitHub transition guide is now available at: >>> https://github.com/sagemath/sage/wiki/migration-from-trac-to-Git**b >>> >>> Please let me know what's missing or unclear. >>> >> >> What will be the replacement for the ticket description? Just the first >> comment of the issue reprectively PR? >> > > yes > > If so, who can edit it? >> > > anyone with write access to the repo. > > > https://docs.github.com/en/communities/moderating-comments-and-conversations/managing-disruptive-comments#editing-a-comment > 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+...@googlegroups.com. >> > To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/4420889b-a904-4ef8-9743-037648e7640cn%40googlegroups.com >> >> <https://groups.google.com/d/msgid/sage-devel/4420889b-a904-4ef8-9743-037648e7640cn%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/9363ef06-e271-418d-98bc-7972ca3e228dn%40googlegroups.com.
