On Sun, 18 Sep 2022, 01:44 Kwankyu Lee, <ekwan...@gmail.com> wrote: > On Friday, September 16, 2022 at 6:30:05 PM UTC+9 dim...@gmail.com wrote: > > I'd rather focus the vote primarily on the move away from trac, ... > > > What would the move mean precisely? As there are two things to be done > > (1) The release manager declares to merge tickets only from Github, not > from Trac. > (2) Trac goes to read-only mode. > > the move can mean > > (a) First (1) and then after some time (2) > > or > > (b) (1) and (2) at the same time. > > I think it should be (a) as we want to clean up trac (and final good-bye). >
the idea is that what we have on Trac will be moved to GitHub. So the cleanup may be done there, and we can go straight to (b). > > > > > -- > 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/0bc0cdc4-c6c8-4e10-bd50-a9bde519c36en%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/0bc0cdc4-c6c8-4e10-bd50-a9bde519c36en%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/CAAWYfq0xfKmObZoVVMHJ9jZLf4bR1OwiTdZwEsdYjaz%3Dj8xPmQ%40mail.gmail.com.
