-
-
Notifications
You must be signed in to change notification settings - Fork 25.5k
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
Conversation
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. |
There was a problem hiding this comment.
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.
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. |
They can remove themselves from the org if they wish. I was wondering if we
should just include data about emeritus and still generate a page with
their profile pics
|
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. |
I don't see why it's much harder to include active dates (but I agree it's
impractical). Happy with your practical approach :)
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM.
This reverts commit 5648cb7.
This reverts commit 5648cb7.
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.