{"push_id":1191657416,"size":2,"distinct_size":2,"ref":"refs/heads/auto","head":"d51dd407bbbe0ecfed90dc9d8ad89353f0d2a183","before":"7da28b7ca63c7b4538aa1b81b7ad1182415c32f2","commits":[{"sha":"2e8f2302cdb4a25e21631f7f601f3c611643181e","author":{"name":"Emilio Cobos Álvarez","email":"b4a5ea001e047040e8c9075b67a268293138da2c@emiliocobos.me"},"message":"prefs: Make the preferences be guarded by a RwLock instead of a Mutex\n\nThis should reduce unnecessary locks that happen when we read preferences.","distinct":true,"url":"https://api.github.com/repos/servo/servo/commits/2e8f2302cdb4a25e21631f7f601f3c611643181e"},{"sha":"d51dd407bbbe0ecfed90dc9d8ad89353f0d2a183","author":{"name":"bors-servo","email":"b09d4f4a3e19bc290c035b624e2133ac70195a90@mozilla.com"},"message":"Auto merge of #12275 - emilio:prefs-rwlock, r=jdm\n\nprefs: Make the preferences be guarded by a RwLock instead of a Mutex\n\n<!-- Please describe your changes on the following line: -->\n\n---\n<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `__` with appropriate data: -->\n- [x] `./mach build -d` does not report any errors\n- [x] `./mach test-tidy` does not report any errors\n\n<!-- Either: -->\n- [x] These changes do not require tests because internals.\n\n<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->\n\nThis should reduce unnecessary locks that happen when we read preferences.\n\n<!-- Reviewable:start -->\n---\nThis change is [<img src=\"https://reviewable.io/review_button.svg\" height=\"35\" align=\"absmiddle\" alt=\"Reviewable\"/>](https://reviewable.io/reviews/servo/servo/12275)\n<!-- Reviewable:end -->","distinct":true,"url":"https://api.github.com/repos/servo/servo/commits/d51dd407bbbe0ecfed90dc9d8ad89353f0d2a183"}]}
{"actor":{"display_login":"bors-servo"}}