Make markups as comments on the pull request (either line
comments or top-level comments).

Make a top-level comment saying something along the lines of
“Fine; some minor comments” or “Some issues to address
before merging”.

If there are no issues, merge the pull request and close the
branch. Otherwise, assign the pull request to the developer and
leave this to them.

Developer process:

Await review.

Address code review issues on your feature branch.

Push your changes to the feature branch on GitHub. This
automatically updates the pull request.

If necessary, make a top-level comment along the lines of
“Please re-review”, assign back to the reviewer, and repeat
the above.

If no further review is necessary and you have the necessary
privileges, merge the pull request and close the branch.
Otherwise, make a top-level comment and assign back to the
reviewer as above.

Contributor Agreements

If you plan to contribute in the form of documentation or code, we need
you to sign our Contributor License Agreement before we can accept your
contribution. You will be prompted to do this as part of the PR process
on Github.