diff --git a/bin/mypy b/bin/mypy new file mode 100755 index 000000000000..970812c0e054 --- /dev/null +++ b/bin/mypy @@ -0,0 +1,4 @@ +#!/bin/bash +set -e + +python -m mypy -p warehouse