You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Can we drop the revision_history.rst file in the docs? #5807
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?
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 ...
************************************
Activity
Michael0x2a commentedon Oct 19, 2018
👍 -- maybe we can replace it with a link to the blog instead?
ilevkivskyi commentedon Oct 19, 2018
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:
emmatyping commentedon Oct 19, 2018
@ilevkivskyi I mean it will remain in git history, so I don't see a problem with deleting it.
ilevkivskyi commentedon Oct 19, 2018
OK.