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