On Tue, Sep 20, 2022 at 4:09 AM Dima Pasechnik <dimp...@gmail.com> wrote: > > On Tue, Sep 20, 2022 at 11:51 AM kcrisman <kcris...@gmail.com> wrote: > > > > > >>> "Subscribed to sage-devel" might not be a good criteria. For example, > >>> Harald Schilly has been the webmaster of Sage since 2007 and likely > >>> cares about this switch since it can impact him, but I don't think he > >>> reads sage-devel. > >>> > >>> > > > > If we're going to talk about previous practice, I can't remember there ever > > being any criterion other than the sage-devel one. (And I think a few > > votes have been received by proxy in the past.) > > > > I still can't find a thread about rules for voting, but I did find this > > presumably relevant one, on another at-least-as controversial topic (but > > please let's not revisit past controversies): So I'll withdraw my 2/3 > > proposal, but suggest we do keep sage-devel as the criterion. > > https://groups.google.com/g/sage-devel/c/dR3_eyIUyac/m/LyALpiLcHuQJ > > Quoting from William (8 years ago!!!) > > > > This is a simple majority vote for ... > > I will close voting on Monday at midnight PST. (If the vote > > is an exact tie, then that means "No" - there must be a simple > > majority for this to pass.) Any member of the sage-devel mailing > > list may vote or abstain. I will delete any messages in this thread > > that is not a vote -- if you want to make further arguments for or > > against, do so elsewhere. > > > > And from https://groups.google.com/g/sage-devel/c/dR3_eyIUyac/m/Ooek9-z_oQgJ > > I kept the voting simple and > > consistent with how we've done all past votes, rather than using a > > more complicated voting system, since I didn't want to make even the > > voting process itself contentious. > > Given the tensions, I'd be more careful here. We're really not too > interested in opinions of random subscribers to sage-devel > (I don't have enough rights to see who's there). > > We can instead use > https://github.com/sagemath/sage/graphs/contributors
Does that only show the top 100? Is there any way to see more? There's been far more than 100 contributors to sage... > (by the way, by looking at this list I found that johanrosenkilde > works for GitHub now :-)) > > Dima > > > > > > > > -- > > 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/ea60ae31-33c6-45d3-86d5-4ca14169bcf0n%40googlegroups.com. > > -- > 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/CAAWYfq1eij_nn_Fq_xsnioz%3Ds3gip%2B_RjXm_bm7sA8ACjxbc5Q%40mail.gmail.com. -- William (http://wstein.org) -- 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/CACLE5GB%2Bp6m194jXHWL6AZZNjhbyKHadb%2Bp0nS7ai91%2BMWe9aQ%40mail.gmail.com.
