Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
wiki: Improve GerritBot GitHub PR workflow instructions #30564
@dmitshur better to track this in it's own issue, than in a random CL review.
I created some noise last night about my first code CL and my struggles with Gerrit -- I spent an hour trying to do a small edit of the commit message, only to see it overwritten by the GerritBot. #24887 talks about this issue.
So, the workaround for me was eventually to edit the first comment in the original GitHub PR.
If you read closely on the wki you may grasp this information in the FAQ (if you understand the difference between a PR and a CL), but I was looking for a reason why my commit message edits in Gerrit didn't stick (some StackOverflow thread suggested I needed to push a commit button). This was what I looked for in the documentation.
I suggest 2 changes to the Wiki page above to make this more in the face:
To something like:
And in the workflow, add a bullet saying something like this: