CONTRIBUTING.md: allow the maintainers' MRs to be merged with only one approval

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 5b95830ab8a5c68bbc582583b4f8835c61c4c787..c9a01d5f8845adf62e3a520edcefe3dff7c0e6c2 100644 (file)
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -49,7 +49,8 @@ Make sure to:
 The policy is to merge a request when:
 
 no maintainer has objected AND ((the request was submitted by a maintainer AND
-was opened ≥ 5 days ago) OR the request is approved by ≥ 2 maintainers)
+(was opened ≥ 5 days ago OR the request is approved by ≥ 1 maintainer)) OR the
+request is approved by ≥ 2 maintainers)
 
 Changes that have user-facing effects will need a CHANGELOG.md entry. Please ask
 in the MR description if you are unsure. An API-breaking change (e.g. a