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 upRename servosrc to servowebsrc #25243
Merged
Conversation
|
r? @jdm |
|
BBB in gstreamer in servo in gstreamer:
|
|
Tbh we should be renaming the other one, the internal ones shouldn't have clashing names. |
|
@Manishearth yeah, but I don't feel like messing with the innards of servo-media atm. Coward that I am. @bors-servo r=Manishearth |
|
|
bors-servo
added a commit
that referenced
this pull request
Dec 11, 2019
…mean-it-this-time, r=Manishearth Rename servosrc to servowebsrc <!-- Please describe your changes on the following line: --> Really fixes a name clash with servo-media. Really. --- <!-- 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 #25051 - [x] These changes do not require tests because <!-- 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 |
|
@bors-servo retry #24675 |
bors-servo
added a commit
that referenced
this pull request
Dec 11, 2019
…mean-it-this-time, r=Manishearth Rename servosrc to servowebsrc <!-- Please describe your changes on the following line: --> Really fixes a name clash with servo-media. Really. --- <!-- 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 #25051 - [x] These changes do not require tests because <!-- 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. -->
|
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
asajeffrey commentedDec 11, 2019
Really fixes a name clash with servo-media. Really.
./mach build -ddoes not report any errors./mach test-tidydoes not report any errors