On Saturday, September 17, 2022 at 5:44:52 PM UTC-7 Kwankyu Lee 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. >
The conversion of the Trac tickets to GitHub Issues/PRs only works in one shot. Incrementally syncing updates from Trac to existing issues is not possible. This means that we cannot continue to operate Trac after the switch. -- 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/20608f08-46d8-489c-aae4-ce0cd2175e89n%40googlegroups.com.
