Updated GerritBot (markdown)

Andrew Bonventre 2018-02-08 17:00:54 -05:00
parent 23d03b7ba4
commit e1974bc97f

@ -11,7 +11,7 @@ Table of Contents
## Workflow ## 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 + 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 + 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 + 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 + Once the code is ready to be merged, a maintainer will submit the change on Gerrit and GerritBot will close the issue