Richard van der Hoff
|
350f654e7b
|
Add unique indexes to a couple of tables
The indexes on device_lists_remote_extremeties can be unique, and they
therefore should, to ensure that the db remains consistent.
|
2018-11-02 10:36:13 +00:00 |
|
David Baker
|
4aa29508af
|
Use TEXT rather than VARCHAR
While we're changing anyway
|
2017-02-17 10:51:49 +00:00 |
|
David Baker
|
b4017539d4
|
Make the pushers lang field column longer
To accommodate things like zh-Hans-CN
Fixes https://github.com/vector-im/riot-ios/issues/1031
|
2017-02-17 10:42:57 +00:00 |
|
Erik Johnston
|
095b45c165
|
Aggregate event push actions
|
2017-02-14 13:39:41 +00:00 |
|
Erik Johnston
|
21b7375778
|
Add an index to make membership queries faster
|
2017-01-31 15:15:57 +00:00 |
|
Erik Johnston
|
d1e1fd6210
|
Add ts column to device_lists_outbound_pokes
|
2017-01-27 15:23:48 +00:00 |
|
Erik Johnston
|
fbfad76c03
|
Add comments
|
2017-01-26 16:33:21 +00:00 |
|
Erik Johnston
|
c974116f19
|
Implement device key caching over federation
|
2017-01-26 16:07:24 +00:00 |
|
Erik Johnston
|
2367c5568c
|
Add basic implementation of local device list changes
|
2017-01-25 14:27:27 +00:00 |
|
Erik Johnston
|
c050f493dd
|
Add comment
|
2017-01-13 15:14:41 +00:00 |
|
Erik Johnston
|
caddadfc5a
|
Change device_inbox stream index to include user
This makes fetching the nost recently changed users much tricker, and
brings it in line with e.g. presence_stream indices.
|
2017-01-10 15:04:57 +00:00 |
|