Skip to content

Clean up credits #4626

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

Merged
merged 1 commit into from
Feb 23, 2018
Merged

Clean up credits #4626

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 1 addition & 5 deletions CONTRIBUTING.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -80,11 +80,7 @@ For every pull request, we aim to promptly either merge it or say why
it's not yet ready; if you go a few days without a reply, please feel
free to ping the thread by adding a new comment.

At present the core developers are (alphabetically):
* David Fisher (@ddfisher)
* Jukka Lehtosalo (@JukkaL)
* Greg Price (@gnprice)
* Guido van Rossum (@gvanrossum)
For a list of mypy core developers, see the file [CREDITS](CREDITS).


Preparing Changes
Expand Down
12 changes: 6 additions & 6 deletions CREDITS
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,13 +7,18 @@ https://github.com/python/mypy/commits/master
For lists of contributors per mypy release (including typeshed) see
the release blog posts at https://mypy-lang.blogspot.com/.

Mypy team:
Dropbox core team:

Jukka Lehtosalo <jukka.lehtosalo@iki.fi>
Guido van Rossum <guido@python.org>
Ivan Levkivskyi
Michael J. Sullivan

Non-Dropbox core team members:

Ethan Smith
Jelle Zijlstra

Past Dropbox core team members:

David Fisher
Expand All @@ -23,11 +28,6 @@ Past Dropbox core team members:
Michael Lee
Reid Barton

Non-Dropbox core team members:

Ethan Smith
Jelle Zijlstra

Additional thanks to:

Alex Allain
Expand Down