Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 06:00:15 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #16102 - Wafflespeanut:edits, r=jdm

Browse source 
Request users to allow edits from maintainers in PRs

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.

---
<!-- 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/16102)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2017-03-23 14:32:37 -07:00 • committed by GitHub
commit 4838addb34
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
PULL_REQUEST_TEMPLATE.md
View file

@ -11,4 +11,6 @@
- [ ] There are tests for these changes OR
- [ ] 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. -->