Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

MRG Emeritus core devs on website #13468

Merged
merged 3 commits into from
Mar 21, 2019
Merged

Conversation

amueller
Copy link
Member

Also see #13257.

I added a new section "emeritus core devs" to the about page.
We could have that in authors as well, but then we would need to autogenerate it.
Given that @GaelVaroquaux wanted dates when people became active, I thought doing it explicitly might be better.
Also, I removed the historic "reviewers" group that hasn't been used, and dropped the emeritus core devs from the "core developers group" in the org.
We could have an "emeritus" group in the org, but that seems like just more email traffic for people not really associated with the project any more.

The criterion that I applied for determining who to message has been "hasn't voted in the governance vote and has not been active", so that's only a subset of those that we should email according to the governance doc, but I thought it would be a good start.

only one team is used in org, removed some emeritus devs from list
regenerated authors.rst
except IndexError:
# Without authentication: up to 60 requests per hour.
auth = None
# With authentication: up to 5000 requests per hour.
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

authentication is required for any of this script to work, regardless of quota.

@amueller
Copy link
Member Author

also made Raghav an emeritus dev.

A remaining question is maybe whether we want to remove the emeritus devs from the org entirely or just from the core dev group. Right now emeritus devs are basically those that are in the org but not the group.

@jnothman
Copy link
Member

jnothman commented Mar 19, 2019 via email

@amueller amueller changed the title Emeritus MRG Emeritus core devs on website Mar 19, 2019
@amueller
Copy link
Member Author

You mean hard-code them in the generate_authors_table and create a separate table for emeritus devs? Sure, we can do that. Will be harder to include "active dates" but not sure how practical that is anyway.
Honestly I'd rather have this merged soon-ish and we can iterate on it. I feel the web-rendering part is separate from the outreach and communication part.

@jnothman
Copy link
Member

jnothman commented Mar 20, 2019 via email

Copy link
Member

@ogrisel ogrisel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

@qinhanmin2014 qinhanmin2014 merged commit cf01c8b into scikit-learn:master Mar 21, 2019
xhluca pushed a commit to xhluca/scikit-learn that referenced this pull request Apr 28, 2019
xhluca pushed a commit to xhluca/scikit-learn that referenced this pull request Apr 28, 2019
xhluca pushed a commit to xhluca/scikit-learn that referenced this pull request Apr 28, 2019
koenvandevelde pushed a commit to koenvandevelde/scikit-learn that referenced this pull request Jul 12, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants