I'm late to discussion (also sorry for top-posting) but I don't see any discussion of a middle ground where rather than "switching" starkly to GitHub, just enabling issues and PRs on GitHub and see how it goes.
We tried the same experiment with GitLab some time ago with synchronizing to Trac, and a number of people used it. I'm not suggesting even full automatic synchronization though. Just enabling both channels, with a preference against the "legacy" platform (ie Trac) for new issues? On Tue, Sep 20, 2022, 18:52 Matthias Koeppe <matthiaskoe...@gmail.com> wrote: > I'd suggest that we merge this info into > https://github.com/sagemath/website/blob/master/conf/contributors.xml, > possibly using a new attribute "altnames" > > On Tuesday, September 20, 2022 at 9:49:47 AM UTC-7 Matthias Koeppe wrote: > >> >> https://github.com/sagemath/sage-changelogs/blob/master/merger/contributors/9.7 >> >> also has a good dataset (this is from the script that makes changelogs) >> >> >> On Tuesday, September 20, 2022 at 9:42:49 AM UTC-7 David Roe wrote: >> >>> When I did this a few weeks ago there were only a couple hundred. I >>> think it's only showing people who have a github account linked to the >>> email they used on the commit (which may be lower than normal, since grad >>> students and postdocs may have used academic email accounts that are no >>> longer active). >>> >>> I'm sure we could get a full list of author names from git. >>> David >>> >>> On Tue, Sep 20, 2022 at 12:35 PM Dima Pasechnik <dim...@gmail.com> >>> wrote: >>> >>>> On Tue, Sep 20, 2022 at 5:30 PM William Stein <wst...@gmail.com> wrote: >>>> > >>>> > On Tue, Sep 20, 2022 at 4:09 AM Dima Pasechnik <dim...@gmail.com> >>>> wrote: >>>> > > >>>> > > On Tue, Sep 20, 2022 at 11:51 AM kcrisman <kcri...@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? >>>> >>>> Sure, see >>>> https://docs.github.com/en/rest/repos/repos#list-repository-contributors >>>> One can get all via REST API >>>> >>>> > 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+...@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+...@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+...@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 >>>> . >>>> >>>> -- >>>> 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+...@googlegroups.com. >>>> >>> To view this discussion on the web visit >>>> https://groups.google.com/d/msgid/sage-devel/CAAWYfq3PZDwL1gXG1zqfi%3DZC3vQLZdbLY3mbc_4JN%2B-kFcyLwA%40mail.gmail.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/849ca07a-40d4-4559-b91d-db079080d2c0n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/849ca07a-40d4-4559-b91d-db079080d2c0n%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/CAOTD34Z53ZhES_kvvibc%2BXEnDcGWGdokBfjKxY5sJqy-LAVgTw%40mail.gmail.com.
