I will also note that the final vote in favor of moving to github was 46 to 8 in favor. Another few weeks of discussion, on top of the substantial amount of time spent over the last few months (in fact, over the last decade), is unlikely to have changed the outcome. David
On Wed, Oct 5, 2022 at 12:51 PM Matthias Koeppe <matthiaskoe...@gmail.com> wrote: > On Wednesday, October 5, 2022 at 3:11:12 AM UTC-7 Thierry > (sage-googlesucks@xxx) wrote: > >> several developers asked for delays [...] >> [1,2,3,4,5,6]. > > > This is a misrepresentation of most of the 6 cited messages. I'll just > point out one specifically: > > >> >> [3] Vincent : "For me the discussion in this thread is very premature" >> https://groups.google.com/g/sage-devel/c/ayOL8_bzOfk/m/ZTXx_speBwAJ > > > This message from Vincent dates Sep 10, which *prompted* our efforts to > write the detailed > transition guide, work out many details etc. over the following week. > > > > -- > 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/6ffb834f-3300-43c6-be46-db35ec4000a6n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/6ffb834f-3300-43c6-be46-db35ec4000a6n%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/CAChs6_nBRxsymmF4t8aL2ebpyNjU7WfS7F3%3DBTCTjco%2B815rQA%40mail.gmail.com.
