[dev-servo] Pull request template

Github introduced templates for issues and pull requests a couple months ago [1]. I'm interested in making use of them to address common points in our process where new contributors often miss steps. For example, consider a pull request template that looked like this: ``` Thanks for contributi

Re: [dev-servo] Pull request template

I'm willing to give it a try. I'd suggest shortening up the text of the third one, and for the fourth one, add a "because:" so that they have to justify their lack of tests. jack. On Fri, May 6, 2016 at 9:13 AM, Josh Matthews wrote: > Github introduced templates for issues and pull requests a co

[dev-servo] Intermittent shutdown panics on Mac

We have a new intermittent failure that has been wreaking havoc on our CI all day. It's an intermittent shutdown panic in the script thread, possibly only on the Mac builders: https://github.com/servo/servo/issues/11059 Our usual trick of disabling tests won't work, since it seems to happen indi