diff options
| author | Erik Johnston <erik@matrix.org> | 2020-09-23 16:11:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-23 16:11:18 +0100 |
| commit | cbabb312e0b59090e5a8cf9e7e016a8618e62867 (patch) | |
| tree | 316a23381d88a731153f80a5dc9b82622ca96a95 /scripts-dev/next_github_number.sh | |
| parent | Don't push if an user account has expired (#8353) (diff) | |
| download | synapse-cbabb312e0b59090e5a8cf9e7e016a8618e62867.tar.xz | |
Use `async with` for ID gens (#8383)
This will allow us to hit the DB after we've finished using the generated stream ID.
Diffstat (limited to 'scripts-dev/next_github_number.sh')
0 files changed, 0 insertions, 0 deletions