chore: add mypy runner script

miketheman · miketheman · commit fffeadb18566 · 2022-03-07T08:13:28.000-05:00
Eventually this command should fold into `bin/lint` and be removed.

For now, it's a convenient execution wrapper.

Signed-off-by: Mike Fiedler &lt;miketheman@gmail.com&gt;
diff --git a/bin/mypy b/bin/mypy
@@ -0,0 +1,4 @@
+#!/bin/bash
+set -e
+
+python -m mypy -p warehouse

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +#!/bin/bash
 +set -e
++
 +python -m mypy -p warehouse