From 900b5f4cd9966a3028ba9c1550505df697105b6b Mon Sep 17 00:00:00 2001
From: "Michael J. Sullivan" <sully@msully.net>
Date: Fri, 30 Nov 2018 16:56:19 -0800
Subject: [PATCH] Delete scripts/dmypy

We don't have a `mypy` script, we probably don't need a `dmypy` one
either. The installed scripts are created by setuptools and don't need
these.
---
 scripts/dmypy | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100755 scripts/dmypy

diff --git a/scripts/dmypy b/scripts/dmypy
deleted file mode 100755
index b760d5a7cc1e..000000000000
--- a/scripts/dmypy
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/usr/bin/env python3
-"""Mypy daemon client.
-
-This is just a wrapper script. Look at mypy/dmypy.py for the actual
-implementation.
-"""
-
-import os
-import os.path
-import sys
-
-file_dir = os.path.dirname(__file__)
-parent_dir = os.path.join(file_dir, os.pardir)
-if os.path.exists(os.path.join(parent_dir, '.git')):
-    # We are running from a git clone.
-    sys.path.insert(0, parent_dir)
-
-import mypy.dmypy
-
-mypy.dmypy.main()