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

Auto merge of #12772 - servo:jdm-patch-2, r=Manishearth

Browse source 
Avoid a common formatting problem in pull requests

Increase the likelihood of a newline separating the pull request description from the checklist in pull request descriptions.

<!-- 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/12772)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2016-08-08 12:12:39 -05:00 • committed by GitHub
commit 8cd4b772e9
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
PULL_REQUEST_TEMPLATE.md
View file

@ -1,5 +1,6 @@
<!-- 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