Browse Source

Update maintainers-guide.md

Waldir Pimenta 7 years ago
parent
commit
4e245b2b17
1 changed files with 1 additions and 1 deletions
  1. 1 1
      contributing-guides/maintainers-guide.md

+ 1 - 1
contributing-guides/maintainers-guide.md

@@ -54,7 +54,7 @@ as a guideline for current and future maintainers.
 
 ## II. Handling PRs
 
-- PRs will be merged once they
+- PRs should be merged once they
   (1) **pass the automated tests** (Travis CI, CLA signing, etc.),
   (2) have the **review comments addressed**, and
   (3) get **approved reviews by two maintainers**