Skip to content

Commit

Permalink
Update PR merge requirement. (#524)
Browse files Browse the repository at this point in the history
  • Loading branch information
lalitb authored Jan 21, 2021
1 parent ab7f5f2 commit 1a55ef1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -116,7 +116,7 @@ A PR is considered to be **ready to merge** when:
* Trivial changes (typo, cosmetic, doc, etc.) don't have to wait for one day.
* Urgent fixes can take exceptions as long as it has been actively communicated.

Any Maintainer can merge the PR once it is **ready to merge**.
Any Maintainer can merge the PR once it is **ready to merge**. Maintainer can make conscious judgement to merge pull requests which have not strictly met above mentioned requirements.

If a PR has been stuck (e.g. there are lots of debates and people couldn't agree on each other), the owner should try to get people aligned by:

Expand Down

0 comments on commit 1a55ef1

Please sign in to comment.