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

Can we drop the revision_history.rst file in the docs? #5807

Closed
gvanrossum opened this issue Oct 19, 2018 · 4 comments · Fixed by #6018
Closed

Can we drop the revision_history.rst file in the docs? #5807

gvanrossum opened this issue Oct 19, 2018 · 4 comments · Fixed by #6018

Comments

@gvanrossum
Copy link
Member

The docs have a purported revision history which is not very useful (it only marks major updates to the docs, not to actual mypy functionality) and a pain to maintain. Can we just drop it?

@Michael0x2a
Copy link
Collaborator

👍 -- maybe we can replace it with a link to the blog instead?

@ilevkivskyi
Copy link
Member

I am fine with dropping it. I am also fine with keeping it (it has some history about early days of mypy), but put a "tombstone" at the top, like this:

************************************
THIS FILE IS NOT MAINTAINED, SEE ...
************************************

@ethanhs
Copy link
Collaborator

ethanhs commented Oct 19, 2018

@ilevkivskyi I mean it will remain in git history, so I don't see a problem with deleting it.

@ilevkivskyi
Copy link
Member

OK.

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 a pull request may close this issue.

4 participants