From e1974bc97ff81b3085f23a08f30a03dc29273e5c Mon Sep 17 00:00:00 2001 From: Andrew Bonventre Date: Thu, 8 Feb 2018 17:00:54 -0500 Subject: [PATCH] Updated GerritBot (markdown) --- GerritBot.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/GerritBot.md b/GerritBot.md index 9a89b589..b06bcfbf 100644 --- a/GerritBot.md +++ b/GerritBot.md @@ -11,7 +11,7 @@ Table of Contents ## Workflow + A user can upload a PR against any of our GitHub repos just as they would with any other GitHub project that accepts PRs -+ The PR changes will then be imported by GerritBot and a message will be posted to the GitHub PR Issue containing a link to the issue ++ The PR changes will then be imported by GerritBot and a message will be posted to the GitHub PR Issue containing a link to the Gerrit review + All comments are handled within Gerrit. Any comments on the GitHub PR will be ignored + The PR author can continue to upload commits to the branch used by the PR in order to address feedback from Gerrit + Once the code is ready to be merged, a maintainer will submit the change on Gerrit and GerritBot will close the issue