Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upExtract user_agent from global opts and allow embedder to provide user agent string #26103
Conversation
highfive
commented
Apr 3, 2020
|
Thanks for the pull request, and welcome! The Servo team is excited to review your changes, and you should hear from @nox (or someone else) soon. |
highfive
commented
Apr 3, 2020
|
Heads up! This PR modifies the following files:
|
|
r? @paulrouget |
|
|
|
This is great! r=me once rebased. |
cddaecc
to
2c30622
|
Ok, rebased @paulrouget |
|
@bors-servo r=paulrouget |
|
|
Extract user_agent from global opts and allow embedder to provide user agent string <!-- Please describe your changes on the following line: --> --- <!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: --> - [x] `./mach build -d` does not report any errors - [x] `./mach test-tidy` does not report any errors - [x] These changes fix #25646 - [x] These changes do not require tests because these are refactoring changes and I'm assuming that existing tests cover these changes. <!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.--> <!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
|
|
|
@bors-servo retry |
Extract user_agent from global opts and allow embedder to provide user agent string <!-- Please describe your changes on the following line: --> --- <!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: --> - [x] `./mach build -d` does not report any errors - [x] `./mach test-tidy` does not report any errors - [x] These changes fix #25646 - [x] These changes do not require tests because these are refactoring changes and I'm assuming that existing tests cover these changes. <!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.--> <!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
|
|
|
@bors-servo retry
|
Extract user_agent from global opts and allow embedder to provide user agent string <!-- Please describe your changes on the following line: --> --- <!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: --> - [x] `./mach build -d` does not report any errors - [x] `./mach test-tidy` does not report any errors - [x] These changes fix #25646 - [x] These changes do not require tests because these are refactoring changes and I'm assuming that existing tests cover these changes. <!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.--> <!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
|
|
|
@bors-servo retry |
|
|
utsavoza commentedApr 3, 2020
•
edited
./mach build -ddoes not report any errors./mach test-tidydoes not report any errors