I've started working on a list of pros and cons <https://github.com/sagemath/sage/wiki/Github-vs-Gitlab-vs-trac> to be included in the email proposing a vote. Even though I favor the switch, I've tried to accurately and neutrally describe the arguments in each direction. I welcome help and additions, but please keep them in this spirit (conversely, if you feel like I'm misrepresenting an argument or making unjustified claims, please let me know).
There has also been some discussion of how the vote should be carried out. * There was a proposal to make the deadline two weeks after the call for the vote. That sounds fine to me. * I intend to include a plea for people to keep discussion on a separate thread rather than the voting thread. * There was a proposal for people who have been more involved somehow to have their votes count extra. I don't think this is a good idea: it's not clear how to draw the line or what the weighting should be, and I think it's more likely to cause resentment than alleviate it. * There hasn't been much discussion of Github vs Gitlab on this thread, but theoretically there are three choices in play. Given that, we face Arrow's theorem in picking a voting system (especially if we also want to allow people to abstain). I'm normally in favor of a Borda count <https://en.wikipedia.org/wiki/Borda_count> variant, but with three options and Github and Gitlab more similar to each other than to trac, I propose Ranked pairs <https://en.wikipedia.org/wiki/Ranked_pairs> for a voting system. I suspect there may be voting theory experts lurking, so I'm happy to hear other opinions. * There was a proposal to require 2/3 either in favor of a switch or not opposing. I'm open to this, but would be interested in hearing other opinions. Perhaps we allow people to abstain, and then require that at least 2/3 either abstain or prefer the winner to trac? With this in place, maybe our voting system doesn't actually matter, but it's probably safer to pick one. Given that I want to get feedback on the voting system and the pros-and-cons, I'll wait until at least Monday to send out a request for a vote (longer if the discussion is still going strong or if the workflow proposal <https://github.com/sagemath/sage/wiki/migration-from-trac-to-Git**b> is still in flux). David On Fri, Sep 16, 2022 at 3:41 AM Matthias Koeppe <matthiaskoe...@gmail.com> wrote: > On Thursday, September 15, 2022 at 11:57:35 PM UTC-7 seb....@gmail.com > wrote: > >> About ten years before Google was on Earth someone put a poster on our >> corridor of the University building: *Microsoft free area*. We all were >> proud about that. But at that point nobody knew what should come later on. >> > > Of course. Many of us shared this position back in the days when Microsoft > was absolutely hostile to open source and in particular to the GPL. > > But it's just not applicable today. Microsoft (which GitHub is a > subsidiary of) is the single biggest contributor to open source software. > > > > -- > 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/867d0ba7-22e6-466e-8350-b660c312992dn%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/867d0ba7-22e6-466e-8350-b660c312992dn%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_%3D6zVgMyPV7i4O%2BGz4iBOnaB3jQHQQeRmmKgOJ1-9sknw%40mail.gmail.com.