Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2025-03-03 15:26:07 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
gecko-dev/servo/PULL_REQUEST_TEMPLATE.md
Ravi Shankar 97ba016dd7 servo: Merge #16102 - Request users to allow edits from maintainers in PRs (from Wafflespeanut:edits); r=jdm 
Github auto-unchecks this checkbox once the PR has been opened. So, I'm not sure how useful this is gonna be, but it's worth mentioning anyway.

---

Source-Repo: https://github.com/servo/servo
Source-Revision: 4838addb34102e92f388d53a596a394df25f231b

--HG--
extra : subtree_source : https%3A//hg.mozilla.org/projects/converted-servo-linear
extra : subtree_revision : d888402de931f0a4c606afdb65654e3c4c99abf6
2017-03-23 14:32:37 -07:00

800 B
Raw Blame History

  • ./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 _____