For pull request code reviews in this repository, do not leave any review comments under any circumstances.

If asked to review a pull request, produce no comments.

Do not comment on pull requests in this repository.