Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
Already on GitHub? Sign in to your account
Select distinct devices from DB #1969
+1
−1
Conversation
erikjohnston
assigned
NegativeMjark
Mar 6, 2017
|
LGTM |
erikjohnston
merged commit c98d91f
into
develop
Mar 6, 2017
7 of 8 checks passed
Sytest Dendron (Merged PR)
Build finished.
Details
Sytest Dendron (Commit)
Build #1613 origin/erikj/get_distinct_devices succeeded in 12 min
Details
Sytest Postgres (Commit)
Build #2429 origin/erikj/get_distinct_devices succeeded in 7 min 46 sec
Details
Sytest Postgres (Merged PR)
Build finished.
Details
Sytest SQLite (Commit)
Build #2494 origin/erikj/get_distinct_devices succeeded in 5 min 47 sec
Details
Sytest SQLite (Merged PR)
Build finished.
Details
continuous-integration/travis-ci/pr
The Travis CI build passed
Details
continuous-integration/travis-ci/push
The Travis CI build passed
Details
richvdh
referenced this pull request
Mar 8, 2017
Closed
device_list_stream is stored inefficiently, leading to massive disk space use #1962
erikjohnston
added a commit
that referenced
this pull request
Mar 13, 2017
erikjohnston
deleted the
erikj/get_distinct_devices
branch
Mar 29, 2017
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
erikjohnston commentedMar 6, 2017
Otherwise we might pull out tonnes of duplicate user_ids and this can
make synapse sad.