Note that CI gates pull requests

[ci skip]
2016-01-29 09:33:27 -08:00 · 2016-01-29 09:33:27 -08:00 · fa7b96253d
commit fa7b96253d
parent 188598e4ca
1 changed files with 2 additions and 0 deletions
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@ -13,6 +13,8 @@ Don't forget to commit early and often!
 Please add `[ci skip]` to commits that should be ignored by the CI systems
 (e.g. changes to documentation).

+All pull requests **must** pass both CI systems before they will be approved.
+
 ## New to Git?

 If you're new to Git, learn the following commands: `checkout`, `branch`,