Warning regarding empty title elements

servo / highfive

Github hooks to provide an encouraging atmosphere for new contributors

Mozilla Public License 2.0

254 stars 58 forks source link

Closed torbjorntorbjorn closed 8 years ago

torbjorntorbjorn commented 8 years ago

Fixes issue 85. If an empty title element, '', is seen in the PR, emit a warning to that fact.

highfive commented 8 years ago

Thanks for the pull request, and welcome! The Servo team is excited to review your changes, and you should hear from @jdm (or someone else) soon.

highfive commented 8 years ago

Heads up! This PR modifies the following files:

@jdm: handlers/empty_title_element/tests/new_pr.json, handlers/empty_title_element/init.py

jdm commented 8 years ago

Thanks!