diff options
author | Erik Johnston <erikj@element.io> | 2024-10-10 09:59:01 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-10-10 08:59:01 +0000 |
commit | f6a3e5e1c235884b0e550bceba55cd9311def2d0 (patch) | |
tree | 1a6a9789204a016a84554f9f0337868cca7701ef /scripts-dev/build_debian_packages.py | |
parent | Added display_name_claim in jwt_config which sets the user's display name upo... (diff) | |
download | synapse-f6a3e5e1c235884b0e550bceba55cd9311def2d0.tar.xz |
Fix release script to check GH token (#17803)
The current logic didn't work.
Diffstat (limited to 'scripts-dev/build_debian_packages.py')
0 files changed, 0 insertions, 0 deletions