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

Update credits to current state of affairs #3900

Merged
merged 3 commits into from
Sep 1, 2017

Conversation

gvanrossum
Copy link
Member

No description provided.

@gvanrossum
Copy link
Member Author

Alternatively, we should just list the core team and ex-core-team members and leave the rest up to GitHub history?

CREDITS Outdated
David Fisher <[email protected]>
Greg Price <[email protected]>
Jukka Lehtosalo <[email protected]>
Guido van Rossum <[email protected]>

Contributors (in alphabetical order, including typeshed):
Copy link
Collaborator

Choose a reason for hiding this comment

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

At least mention that this is a partial list and suggest looking at the git history for a full set of contributors.

CREDITS Outdated
@@ -59,6 +57,7 @@ Contributors (in alphabetical order, including typeshed):
Daniel Shaulov
David Shea
Vita Smid
Ethan Smith
Copy link
Collaborator

Choose a reason for hiding this comment

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

Also add Naomi?

@gvanrossum
Copy link
Member Author

The more I think about it the stronger I feel we should not have this list at all. (TBH I didn't even know it existed.)

@JukkaL
Copy link
Collaborator

JukkaL commented Sep 1, 2017

Ok, let's drop this and just mention current and previous core team members. We could also add a links to the release blog where we have more detailed per-release contributor information and to the github contributions page (https://github.com/python/mypy/graphs/contributors).

- Delete attempt at listing all contributors (but keep "Additional
  thanks to" since I think that category is handpicked).

- Link to commit history on GitHub and to release blog posts

- List current and past core team in the same format as
  mypy-lang.org/about.html
@gvanrossum
Copy link
Member Author

How about this?

@JukkaL JukkaL merged commit 32174f6 into python:master Sep 1, 2017
@JukkaL
Copy link
Collaborator

JukkaL commented Sep 4, 2017

These are now live on the website.

@gvanrossum gvanrossum deleted the update-credits branch September 22, 2017 18:35
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.

2 participants