Erik Johnston a0f51b059c Fix bug where we failed to delete old push actions (#13194) ... This happened if we encountered a stream ordering in `event_push_actions` that had more rows than the batch size of the delete, as If we don't delete any rows in an iteration then the next time round we get the exact same stream ordering and get stuck.		2022-07-06 12:09:19 +01:00
..
main	Fix bug where we failed to delete old push actions (#13194)	2022-07-06 12:09:19 +01:00
state	Add a unique index to state_group_edges to prevent duplicates being accidentally introduced and the consequential impact to performance. (#12687)	2022-05-19 14:16:49 +01:00
__init__.py	Ensure that get_datastores().main is typed (#12070)	2022-02-25 10:20:40 +00:00