mypy icon indicating copy to clipboard operation
mypy copied to clipboard

Remove old unused scripts from `misc/`

Open sobolevn opened this issue 3 years ago • 2 comments

I've gone through all scripts in misc/ and scripts/. Here's what I found:

  1. There was only one script in scripts/, so I moved it to misc/, not sure if it is still needed though: we now have existing IDE integrations, including emacs
  2. I removed old files created back in 2016, that were never touched afterwards (except with autoformatters)

Please, correct me if I am removing something useful. Maybe there are other outdated / unused scripts that I've missed?

Refs https://github.com/python/mypy/pull/2117

sobolevn avatar Jul 29 '22 11:07 sobolevn

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

github-actions[bot] avatar Jul 29 '22 11:07 github-actions[bot]

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

github-actions[bot] avatar Jul 29 '22 12:07 github-actions[bot]

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

github-actions[bot] avatar Aug 23 '22 17:08 github-actions[bot]

Thank you, @JukkaL!

sobolevn avatar Aug 23 '22 17:08 sobolevn