PR #2300 Merge users faster

Merge users faster #2300

bwindels merged 5 commits into experimental2 from travis/merge-faster

Deduplicate requests to track users instead of arbitrarily not tracki…

cc8cf64c

Don't bother tracking users we know are not applicable for merging

88266dfc

Fix misc bugs with MergedUsers

642f3dc6

Support a simple wildcard on mergable hosts

55d19b2c

Skip even more checks if the host isn't a mergable one

16d2e39f

turt2live requested a review 7 years ago

bwindels approved these changes on 2018-11-27

bwindels merged dd4f2da5 into experimental2 7 years ago

turt2live deleted the travis/merge-faster branch 7 years ago

Reviewers

bwindels

Assignees

No one assigned

Labels

None yet

Milestone

No milestone