facebook / PathPicker

PathPicker accepts a wide range of input -- output from git commands, grep results, searches -- pretty much anything. After parsing the input, PathPicker presents you with a nice UI to select which files you're interested in. After that you can open them in your favorite editor or execute arbitrary commands.
https://facebook.github.io/PathPicker/
MIT License
5.11k stars 283 forks source link

Remove use of deprecated mypy option #425

Closed hauntsaninja closed 1 week ago

hauntsaninja commented 2 years ago

show_none_errors is deprecated, see https://github.com/python/mypy/pull/13507