Skip to content

Update maintainers list #5430

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 2 commits into from
May 13, 2021
Merged

Update maintainers list #5430

merged 2 commits into from
May 13, 2021

Conversation

JelleZijlstra
Copy link
Member

I removed a few people who have not been active in the typing area for a long time, and added @rchen152 who is active on the repo and has commit rights. There are a few other people who have access to the repo but are not active. Listing them here does not seem useful.

@JelleZijlstra
Update maintainers list
b0bed78 
I removed a few people who have not been active in the typing area for a long time, and added @rchen152 who is active on the repo and has commit rights. There are a few other people who have access to the repo but are not active. Listing them here does not seem useful.
@srittau
Copy link
Collaborator

srittau commented May 12, 2021

Maybe we should add an "alumni" section at the bottom?

@JelleZijlstra
Copy link
Member Author

Done. I omitted the other people who have access in case they had some reason to not want to be listed here.

srittau
srittau approved these changes May 12, 2021
View reviewed changes
Copy link
Collaborator

@srittau srittau left a comment

Choose a reason for hiding this comment

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

LGTM, although I'd prefer to wait for @rchen152's approval.

rchen152
rchen152 approved these changes May 13, 2021
View reviewed changes
Copy link
Collaborator

@rchen152 rchen152 left a comment

Choose a reason for hiding this comment

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

Wow, didn't realize Matthias was still listed as a maintainer! (He was the original pytype TL.)

@JelleZijlstra JelleZijlstra merged commit 33bdde6 into master May 13, 2021
@JelleZijlstra JelleZijlstra deleted the maintainers branch May 13, 2021 00:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@srittau srittau srittau approved these changes

@rchen152 rchen152 rchen152 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@JelleZijlstra @srittau @rchen152