From da31500727dbc6f0ccb85ea42c031fe534c62e97 Mon Sep 17 00:00:00 2001 From: Hendrik Leppelsack Date: Fri, 18 Mar 2016 21:43:13 +0100 Subject: [PATCH] fix to review label number --- developer_manual/bugtracker/codereviews.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/developer_manual/bugtracker/codereviews.rst b/developer_manual/bugtracker/codereviews.rst index a717e046d..8301d9490 100644 --- a/developer_manual/bugtracker/codereviews.rst +++ b/developer_manual/bugtracker/codereviews.rst @@ -26,7 +26,7 @@ How will it work? `GitHub:help - using pull requests `_ #. Within the pull request the developer could already name other developers (using @GitHubusername) and ask them for review. -#. Using Labels section on the right side, they add *"5 - To review"* label if the patch is +#. Using Labels section on the right side, they add *"3 - To review"* label if the patch is complete. If they have no permission to do that, other developers may add this Label in case PR author had indicated. #. Other developers (either named or at free will) have a look at the changes