🙈 `mypy --exclude-gitignore`#584

jorenham wants to merge 1 commit intomainnumpy/numtype:mainfrom

mypy/exclude_gitignorenumpy/numtype:mypy/exclude_gitignoreCopy head branch name to clipboard