commit fd04ce9604d022acfbf0bc46158f53d8376ad217
parent 00b8285d1df79b596a67fcf6174bb5408cdacdf1
Author: orangc <c@orangc.net>
Date: Sat, 18 Jul 2026 17:11:43 +0300
maintainers/reviewing-prs: add reviewbot section
Diffstat:
2 files changed, 15 insertions(+), 1 deletion(-)
diff --git a/src/maintainers/reviewing-prs.md b/src/maintainers/reviewing-prs.md
@@ -33,7 +33,7 @@ You cannot merge a PR if the checks do not pass. If the checks fail, examine the
-*Request changes* based on the issues at hand. Do not be rude in your review and act professionally.
+*Request changes* based on the issues at hand. Do not be rude in your review and act professionally. We recommend using reviewbot to streamline the process of requesting changes!
If there are no issues with the PR at this point, you are free to merge it.
If you requested changes, please *apply labels to the PR*. For example, if the PR violates our ToS because it is a commercial website:
@@ -52,3 +52,16 @@ You can use quickly select and use saved replies in the reply/reviewing text box
3. When unsure of whether or not to approve or request changes on a PR, do not hesitate to ask another, more experienced maintainer on how to deal with it. You can also simply skip the PR and wait for someone else to review it.
[^1]: Nested subdomains are a subdomain of a subdomain, such as `nested.example.is-a.dev`. `example.is-a.dev` is not a nested subdomain, it is a subdomain!
+
+## Reviewbot
+A very helpful tool we have at our disposal is [reviewbot](https://github.com/iostpa/reviewbot). Reviewbot is a GitHub bot maintained by [iostpa](https://iostpa.com) which sends a comment in a pull request upon the application of labels with an explanation of each label in some detail. Reviewbot can also optionally close a pull request based on the `status: denied` label.
+
+Example usage would be as follows: on a pull request that adds a website unrelated to software development, you should add the `status: denied` and `reason: not dev related` labels to the pull request, and simply move on. Reviewbot will close the pull request on your behalf and explain the reason why the pull request was denied in detail to the PR author.
+
+Note: You may use `status: invalid` to simply request changes on a PR instead of closing it.
+
+Please use `status: denied` or `status: invalid` in conjuction with other `reason: x` or `status: y` labels. If none of the labels fit the reason why you denied the pull request, use `reason: other` in conjuction with either status label and comment your reason directly in the pull request.
+
+Here is an example of using reviewbot with the `status: denied` and `reason: not dev related` labels:
+
+
+\ No newline at end of file
diff --git a/src/media/reviewbot-example.png b/src/media/reviewbot-example.png
Binary files differ.
