reviewbot

Source code for the is-a.dev r...
Log | Files | Refs | README | LICENSE

commit 89e0c5c8d856f66ab220efb5d4dedc0a0136c187
parent 6098576c78937ab3f33cbf2263c21c11d5a927fc
Author: iostpa <iostpa@iostpa.com>
Date:   Fri, 27 Feb 2026 21:24:49 +0200

Merge pull request #8 from orangci/main

docs(messages): minor grammar issues
Diffstat:
Mmessage/draft.md | 10+++++-----
Mmessage/merged.md | 20++++++++++----------
Mmessage/opened.md | 8++++----
3 files changed, 19 insertions(+), 19 deletions(-)

diff --git a/message/draft.md b/message/draft.md @@ -1,12 +1,12 @@ > [!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. +> Please be aware that you put the pull request on draft mode 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 not opening draft pull requests since we usually ignore it until it's no longer on draft mode. # Hi there! :wave: You've successfully 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. +1. Check if the checks have failed or passed. You should see the status at the bottom of the pull request or an 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/formatter, like [jsonlint](https://jsonlint.com). Make sure that the file is in the `domains` directory and not somewhere else in the repository. +3. Please make sure that 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. -5. Please note that mentioning maintainers in pull requests without it being reviewed could lead to you getting marked as "low priority", same thing applies to either pinging the maintainers in the Discord server or messaging the maintainers in private to review the pull request. +5. Please note that mentioning maintainers in pull requests without it being reviewed could lead to you getting marked as "low priority"; this also applies to pinging the maintainers in the Discord server or messaging the maintainers in private to review the pull request. diff --git a/message/merged.md b/message/merged.md @@ -1,22 +1,22 @@ # Pull Request Merged :tada: -## What to do next +## What's next? Just follow the steps below and you can start using your domain! ### GitHub Pages -1. Go to your GitHub repository that you use for your is-a.dev domain -2. Click on the Settings tab -3. Click on the Pages link in the sidebar +1. Navigate to your GitHub Pages repository that you want to connect with your is-a.dev domain. +2. Click on the Settings tab. +3. Click on the Pages link in the sidebar. 4. In the custom domain option, enter the domain you registered. -5. Check the Enforce HTTPS checkbox -6. Give your domain some time (~24 hours) for the changes to propagate +5. Check the Enforce HTTPS checkbox. +6. Give your domain some time (~24 hours) for the changes to propagate. 7. Enjoy your domain! ### Vercel -You may have to verify the domain so that you can succesfully add the domain to your Vercel website, if you have done that by now then the domain should already be connected! If it hasn't, go to the Domain section and click on "Refresh" to see if it works. +You may have to verify the domain so that you can succesfully add the domain to your Vercel website; if you have done that already, the domain should already be connected! If it hasn't, go to the Domain section and click on "Refresh" to see if it works. ### Cloudflare Pages @@ -31,6 +31,6 @@ Just make sure you have added the domain to your website. Try to see if there is You have to add these in your webserver config by yourself. If you don't know how to add a domain to your webserver then either use a different method of hosting your website or search on a search engine on how to use the said webserver. Need help with your domain? If you have some trouble setting up your domain, please create an issue or ask in the [Discord server](https://discord.gg/is-a-dev-830872854677422150) and we will try and help you as soon as possible! -Made a mistake in the records? Don't worry, you can create a new pull request with the corrections. +Made a mistake in the records? Don't worry, you can create a new pull request to correct your mistakes. -Thanks for reading the message and thanks for using is-a.dev! :heart:- \ No newline at end of file +Thanks for reading the message and thank you for using is-a.dev! :heart:+ \ No newline at end of file diff --git a/message/opened.md b/message/opened.md @@ -2,8 +2,8 @@ You've successfully 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. +1. Check if the checks have failed or passed. You should see the status at the bottom of the pull request or an 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/formatter, like [jsonlint](https://jsonlint.com). Make sure that the file is in the `domains` directory and not somewhere else in the repository. +3. Please make sure that 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. -5. Please note that mentioning maintainers in pull requests without it being reviewed could lead to you getting marked as "low priority", same thing applies to either pinging the maintainers in the Discord server or messaging the maintainers in private to review the pull request. +5. Please note that mentioning maintainers in pull requests without it being reviewed could lead to you getting marked as "low priority"; this also applies to pinging the maintainers in the Discord server or messaging the maintainers in private to review the pull request.
© notamitgamer • Site Built: 2026-07-21 13:58:23 UTC • git-mirror commit: 1037f62 [view raw info]
Originally created with stagit • modified by notamitgamer
Forked from github.com/notamitgamer/git-mirror