Merge pull request #7707 from martenson/plusone-enough

[PROCEDURES] relax the vote requirement for fixing bugs in releases
This commit is contained in:
Dannon
2019-04-17 17:15:51 -04:00
committed by GitHub
+3 -5
View File
@@ -135,11 +135,6 @@ The latter is the preferred method because it is integrated in GitHub, it allows
tracking the moment when the review was submitted, and it sends a notification
to subscribers.
Pull requests modifying freezed and tagged release branches should be restricted
to bug fixes. Pull requests modifying tagged release branches require at least 2
*+1* binding votes from someone other than the author of the pull request with
no *-1* binding votes.
Pull requests changing or clarifying the *Procedure Documents* (listed above):
- Must be made to the ``dev`` branch of this repository.
@@ -160,6 +155,9 @@ Any other pull request requires at least 1 *+1* binding vote from someone other
than the author of the pull request. A member of the *committers* group merging
a pull request is considered an implicit +1.
Pull requests modifying freezed and tagged release branches should be restricted
to bug fixes.
Pull requests marked *[WIP]* (i.e. work in progress) in the title by the
author(s), or tagged WIP via GitHub tags, may *not* be merged without
coordinating the removal of that tag with the pull request author(s), and