diff options
| author | Patrick Cloke <clokep@users.noreply.github.com> | 2020-12-11 11:43:53 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-11 11:43:53 -0500 |
| commit | 5d34f40d494305bb32b3d57c18fb17d98d21a31f (patch) | |
| tree | 9e1384355c811a8c9a81e28e1dc1f587012507b4 /mypy.ini | |
| parent | Honour AS ratelimit settings for /login requests (#8920) (diff) | |
| download | synapse-5d34f40d494305bb32b3d57c18fb17d98d21a31f.tar.xz | |
Add type hints to the push module. (#8901)
Diffstat (limited to 'mypy.ini')
| -rw-r--r-- | mypy.ini | 7 |
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, |