commit d341adc1fc4d9844ab1d7c25fd9e3b89d98dce20
parent 8490ea7f2d0f8639d96b350551f2e9f9d80dc305
Author: iostpa <iostpa@iostpa.com>
Date: Wed, 18 Feb 2026 14:51:51 +0200
Move where the messages are saved + README nitpick
Diffstat:
7 files changed, 25 insertions(+), 25 deletions(-)
diff --git a/README.md b/README.md
@@ -8,7 +8,7 @@ This is the source code of the is-a.dev Reviewbot! The bot uses [octokit.js](htt
- A GitHub App subscribed to **Pull Request** events and with the following permissions:
- Pull requests: Read & write
- Metadata: Read-only
-- (For local development) A tunnel to expose your local server to the internet (e.g. [smee](https://smee.io/), [ngrok](https://ngrok.com/) or [cloudflared](https://developers.cloudflare.com/cloudflare-one/connections/connect-apps/install-and-setup/tunnel-guide/local/))
+- (For local development) A tunnel to expose your local server to the internet (e.g. [smee](https://smee.io/), [ngrok](https://ngrok.com/))
- Your GitHub App Webhook must be configured to receive events at a URL that is accessible from the internet.
## Setup
diff --git a/draft.md b/draft.md
@@ -1,11 +0,0 @@
-> [!NOTE]
-> Please be aware that you put the pull request on draft when you created the pull request. If this isn't intentional, please scroll down until you find the "Ready for review" button and click it.
-
-# Hi there!
-
-You've succesfully made a pull request! Here are some steps to do while waiting for a maintainer to review the pull request:
-
-1. Check if the checks have failed or passed. You should see the status at the bottom of the pull request or a icon next to the commit ID.
-2. Check if the filename, file format and records are valid. If you don't know if it's valid, please read [this part](https://docs.is-a.dev/domain-structure) of the documentation and use a json validator/formator, like [jsonlint](https://jsonlint.com). Make sure the file is also in the `domains` directory and not somewhere else.
-3. Please make sure you've filled out the pull request template. It is generally not a good idea to overwrite the pull request template with something else unless you know what you are doing. Make sure to add either a publicly available preview of your website or a screenshot of it.
-4. Please wait patiently. Pull requests may take between a couple hours to 3 days. All of the maintainer team are volunteers and try to review the pull requests in their spare time. If you want a chance of getting your pull request merged faster then send your pull request number **once** in the `#pull-requests` channel in our [Discord server](https://discord.gg/is-a-dev-830872854677422150) and wait patiently.-
\ No newline at end of file
diff --git a/index.js b/index.js
@@ -14,9 +14,9 @@ const appId = process.env.APP_ID
const privateKeyPath = process.env.PRIVATE_KEY_PATH
const privateKey = fs.readFileSync(privateKeyPath, 'utf8')
const secret = process.env.WEBHOOK_SECRET
-const newPRs = fs.readFileSync('./opened.md', 'utf8')
-const mergedPRs = fs.readFileSync('./merged.md', 'utf8')
-const draftPRs = fs.readFileSync('./draft.md', 'utf8')
+const newPRs = fs.readFileSync('./message/opened.md', 'utf8')
+const mergedPRs = fs.readFileSync('./message/merged.md', 'utf8')
+const draftPRs = fs.readFileSync('./message/draft.md', 'utf8')
// Create an authenticated Octokit client authenticated as a GitHub App
const app = new App({
diff --git a/message/draft.md b/message/draft.md
@@ -0,0 +1,11 @@
+> [!NOTE]
+> Please be aware that you put the pull request on draft when you created the pull request. If this isn't intentional, please scroll down until you find the "Ready for review" button and click it. We recommend to not open draft pull requests since we would ignore it unless it's no longer on draft.
+
+# Hi there!
+
+You've succesfully made a pull request! Here are some steps to do while waiting for a maintainer to review the pull request:
+
+1. Check if the checks have failed or passed. You should see the status at the bottom of the pull request or a icon next to the commit ID.
+2. Check if the filename, file format and records are valid. If you don't know if it's valid, please read [this part](https://docs.is-a.dev/domain-structure) of the documentation and use a json validator/formator, like [jsonlint](https://jsonlint.com). Make sure the file is also in the `domains` directory and not somewhere else in the repository.
+3. Please make sure you've filled out the pull request template. It is generally not a good idea to overwrite the pull request template with something else unless you know what you are doing. Make sure to add either a publicly available preview of your website or a screenshot of it.
+4. Please wait patiently. Pull requests may take between a couple hours to 3 days. All of the maintainer team are volunteers and try to review the pull requests in their spare time. If you want a chance of getting your pull request merged faster then send your pull request number **once** in the `#pull-requests` channel in our [Discord server](https://discord.gg/is-a-dev-830872854677422150) and wait patiently.+
\ No newline at end of file
diff --git a/merged.md b/message/merged.md
diff --git a/message/opened.md b/message/opened.md
@@ -0,0 +1,8 @@
+# Hi there!
+
+You've succesfully made a pull request! Here are some steps to do while waiting for a maintainer to review the pull request:
+
+1. Check if the checks have failed or passed. You should see the status at the bottom of the pull request or a icon next to the commit ID.
+2. Check if the filename, file format and records are valid. If you don't know if it's valid, please read [this part](https://docs.is-a.dev/domain-structure) of the documentation and use a json validator/formator, like [jsonlint](https://jsonlint.com). Make sure the file is also in the `domains` directory and not somewhere else in the repository.
+3. Please make sure you've filled out the pull request template. It is generally not a good idea to overwrite the pull request template with something else unless you know what you are doing. Make sure to add either a publicly available preview of your website or a screenshot of it.
+4. Please wait patiently. Pull requests may take between a couple hours to 3 days. All of the maintainer team are volunteers and try to review the pull requests in their spare time. If you want a chance of getting your pull request merged faster then send your pull request number **once** in the `#pull-requests` channel in our [Discord server](https://discord.gg/is-a-dev-830872854677422150) and wait patiently.+
\ No newline at end of file
diff --git a/opened.md b/opened.md
@@ -1,8 +0,0 @@
-# Hi there!
-
-You've succesfully made a pull request! Here are some steps to do while waiting for a maintainer to review the pull request:
-
-1. Check if the checks have failed or passed. You should see the status at the bottom of the pull request or a icon next to the commit ID.
-2. Check if the filename, file format and records are valid. If you don't know if it's valid, please read [this part](https://docs.is-a.dev/domain-structure) of the documentation and use a json validator/formator, like [jsonlint](https://jsonlint.com). Make sure the file is also in the `domains` directory and not somewhere else.
-3. Please make sure you've filled out the pull request template. It is generally not a good idea to overwrite the pull request template with something else unless you know what you are doing. Make sure to add either a publicly available preview of your website or a screenshot of it.
-4. Please wait patiently. Pull requests may take between a couple hours to 3 days. All of the maintainer team are volunteers and try to review the pull requests in their spare time. If you want a chance of getting your pull request merged faster then send your pull request number **once** in the `#pull-requests` channel in our [Discord server](https://discord.gg/is-a-dev-830872854677422150) and wait patiently.-
\ No newline at end of file
