From 6c0c3831c11d168ecec761fb029d9d50f0b639a8 Mon Sep 17 00:00:00 2001 From: Vladimir Byko-Ianko Date: Fri, 25 Oct 2019 12:54:42 +0300 Subject: [PATCH] [docs] Review fixes. --- docs/PR_GUIDE.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/PR_GUIDE.md b/docs/PR_GUIDE.md index f8f83fd95b..85d531b1e4 100644 --- a/docs/PR_GUIDE.md +++ b/docs/PR_GUIDE.md @@ -65,7 +65,7 @@ - A reviewer should note not only to code base but also to the description of the PR and commits - A PR may be merged by a reviewer if all the following items are fulfilled: (1) the PR isn't marked as a draft or [DNM]; (2) all reviewers which have started to review the PR, approved it; (3) all reviewers which are added as reviewers - of the PR, have approved it; (4) at least one more reviewer has approved the PR. + of the PR, have approved it - If a reviewer doesn’t have time to review all the PR they should write about it explicitly. For example, LGTM for android part - If a reviewer and a developer cannot find a compromise, the third opinion about it should be asked