summary refs log tree commit diff
path: root/mypy.ini
diff options
context:
space:
mode:
Diffstat (limited to 'mypy.ini')
-rw-r--r--mypy.ini7
1 files changed, 1 insertions, 6 deletions
diff --git a/mypy.ini b/mypy.ini
index 12408b8d95..334e3a22fb 100644
--- a/mypy.ini
+++ b/mypy.ini
@@ -56,12 +56,7 @@ files =
   synapse/metrics,
   synapse/module_api,
   synapse/notifier.py,
-  synapse/push/emailpusher.py,
-  synapse/push/httppusher.py,
-  synapse/push/mailer.py,
-  synapse/push/pusher.py,
-  synapse/push/pusherpool.py,
-  synapse/push/push_rule_evaluator.py,
+  synapse/push,
   synapse/replication,
   synapse/rest,
   synapse/server.py,