diff options
| author | David Robertson <davidr@element.io> | 2022-03-02 13:00:16 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-02 13:00:16 +0000 |
| commit | f3f0ab10fe766c766dedf9d80e4ef198e3e45c09 (patch) | |
| tree | 3cb66e8f9796e0745a37a0f89adab3c1aed8adae /mypy.ini | |
| parent | Improve and refactor the tests for relations. (#12113) (diff) | |
| download | synapse-f3f0ab10fe766c766dedf9d80e4ef198e3e45c09.tar.xz | |
Move scripts directory inside synapse, exposing as setuptools entry_points (#12118)
* Two scripts are basically entry_points already * Move and rename scripts/* to synapse/_scripts/*.py * Delete sync_room_to_group.pl * Expose entry points in setup.py * Update linter script and config * Fixup scripts & docs mentioning scripts that moved Co-authored-by: Andrew Morgan <1342360+anoadragon453@users.noreply.github.com>
Diffstat (limited to 'mypy.ini')
| -rw-r--r-- | mypy.ini | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mypy.ini b/mypy.ini index 38ff787609..6b1e995e64 100644 --- a/mypy.ini +++ b/mypy.ini @@ -23,6 +23,10 @@ files = # https://docs.python.org/3/library/re.html#re.X exclude = (?x) ^( + |synapse/_scripts/export_signing_key.py + |synapse/_scripts/move_remote_media_to_new_store.py + |synapse/_scripts/synapse_port_db.py + |synapse/_scripts/update_synapse_database.py |synapse/storage/databases/__init__.py |synapse/storage/databases/main/__init__.py |synapse/storage/databases/main/cache.py |