Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

tidy: Ignore [replace]’d packages in the duplicate package lint. #15555

Merged
merged 1 commit into from Feb 15, 2017

Conversation

@SimonSapin
Copy link
Member

SimonSapin commented Feb 14, 2017


  • ./mach build -d does not report any errors
  • ./mach test-tidy does not report any errors
  • These changes fix #__ (github issue number if applicable).
  • There are tests for these changes OR
  • These changes do not require tests because _____

This change is Reviewable

@highfive
Copy link

highfive commented Feb 14, 2017

Heads up! This PR modifies the following files:

@nox
Copy link
Member

nox commented Feb 14, 2017

@bors-servo
Copy link
Contributor

bors-servo commented Feb 14, 2017

📌 Commit 31287d4 has been approved by nox

@highfive highfive assigned nox and unassigned mbrubeck Feb 14, 2017
@SimonSapin SimonSapin mentioned this pull request Feb 14, 2017
2 of 5 tasks complete
@bors-servo
Copy link
Contributor

bors-servo commented Feb 15, 2017

Testing commit 31287d4 with merge cc99d94...

bors-servo added a commit that referenced this pull request Feb 15, 2017
tidy: Ignore [replace]’d packages in the duplicate package lint.

<!-- 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: -->
- [ ] `./mach build -d` does not report any errors
- [ ] `./mach test-tidy` does not report any errors
- [ ] These changes fix #__ (github issue number if applicable).

<!-- Either: -->
- [ ] There are tests for these changes OR
- [ ] These changes do not require tests because _____

<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/15555)
<!-- Reviewable:end -->
@bors-servo
Copy link
Contributor

bors-servo commented Feb 15, 2017

@bors-servo bors-servo merged commit 31287d4 into master Feb 15, 2017
4 checks passed
4 checks passed
continuous-integration/appveyor/pr AppVeyor build succeeded
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details
dependency-ci Dependencies checked
Details
homu Test successful
Details
@SimonSapin SimonSapin deleted the tidy-ignore-replace branch Feb 16, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

5 participants
You can’t perform that action at this time.