This document describes guidelines for code reviews as part of pull requests. The target audience are developers and reviewer.
This document is distributed under the CC BY 4.0 license.
A developer can ask to review their code by...
When a reviewer discovers concerns in the code, they should add a comment at the respective line.
For minor matters and when using GitHub, they can also leave a suggestion on how to modify the code. Example:
When done with the review, the reviewer hat to either approve the pull request, or add comments and request changes.
When a reviewer notices something outside of code changed for the review, they should still comment on it, and the developer should still fix it.
In GitHub, such comments have to be made on the left side because there is no change on the right side the comment can be attached to. Also note that if the line to be modified is too far away from any changed line, it might not be possible to attach the comment to the line directly. If this is the case, attache the comment to the closest line possible, and start it with mentioning which line it actually belongs to.
If the review accepted the changes, the developer can merge the branch (assuming all CI checks passed, too).
If the reviewer added comments, each of them has to be addressed in one of the following was:
In both cases, the developer should react to the suggestion or request with a "thumbs up" (👍) so the reviewer knows their comment has been addressed.
Once the developer has addressed all comments one way or the other, the reviewer can walk through them and mark them as resolved. When all comments are resolved, the developer can merge the branch.