All pull requests are now tidy-checked by Travis so that some nits can be fixed beforehand instead of waiting for bors or a reviewer to catch it. When bors is running, you should see a double status panel like this <https://cloud.githubusercontent.com/assets/1617736/6651551/74ccd61a-ca6d-11e4-92f6-4fdafbb5223b.png> .
Thanks, -Manish Goregaokar _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
