MRG Emeritus core devs on website#13468
Merged
qinhanmin2014 merged 3 commits intoscikit-learn:masterfrom Mar 21, 2019
Merged
Conversation
Loading
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
4 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
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.