From fffeadb185668c0b5ebfbdf9d65786c1ce8af7c1 Mon Sep 17 00:00:00 2001
From: Mike Fiedler <miketheman@gmail.com>
Date: Sun, 6 Mar 2022 23:23:16 -0500
Subject: [PATCH] chore: add mypy runner script

Eventually this command should fold into `bin/lint` and be removed.

For now, it's a convenient execution wrapper.

Signed-off-by: Mike Fiedler <miketheman@gmail.com>
---
 bin/mypy | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100755 bin/mypy

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