Skip to content

Register pacres-portfolio.is-a.dev - #47299

Merged
dragsbruh merged 5 commits into
is-a-dev:mainfrom
JohnEmmanuelPacres:main
Aug 16, 2026
Merged

Register pacres-portfolio.is-a.dev#47299
dragsbruh merged 5 commits into
is-a-dev:mainfrom
JohnEmmanuelPacres:main

Conversation

@JohnEmmanuelPacres

@JohnEmmanuelPacres JohnEmmanuelPacres commented Aug 14, 2026

Copy link
Copy Markdown
Contributor

Requirements

  • I agree to the Terms of Service.
  • My file is following the domain structure.
  • My website is reachable and completed.
  • My website is software development related.
  • My website is not for commercial use.
  • I have provided sufficient contact information in the owner key.
  • I have provided a link to my website below.

Website Preview

https://pacres-portfolio.vercel.app/

Website Purpose

It is a portfolio website

main domain file
Added vercel verification file
@JohnEmmanuelPacres
JohnEmmanuelPacres requested a review from a team as a code owner August 14, 2026 18:25
Copilot AI lite review requested due to automatic review settings August 14, 2026 18:25
@is-a-dev-reviewbot

Copy link
Copy Markdown

Hi there! 👋

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. You can click on the 3 dots next to the "CI / Tests" check then click "View details", it will show you the logs of the tests.
  2. Check if the filename, file format, and records are valid. If you don't know if it's valid, please read this part of the documentation and use a JSON validator/formatter, like jsonlint. 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.
  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.

Note

If you've opened this pull request while there is a high number of other open pull requests, your wait time will be longer than usual. Please be patient!

Note

We have recently launched another free subdomain service, is-a.bot!

Claim your .is-a.bot subdomain on GitHub.

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This pull request registers the pacres-portfolio.is-a.dev subdomain by adding the required DNS JSON files under domains/.

Changes:

  • Added domains/pacres-portfolio.json defining an A record for the subdomain.
  • Added domains/_vercel.pacres-portfolio.json defining a Vercel TXT verification record.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.

File Description
domains/pacres-portfolio.json Adds the base subdomain record (A).
domains/_vercel.pacres-portfolio.json Adds Vercel domain verification (TXT).

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

Comment thread domains/pacres-portfolio.json
Comment thread domains/_vercel.pacres-portfolio.json
@sun-tzu-bot sun-tzu-bot Bot added the reason: unauthorized You are not authorized to modify this domain. label Aug 14, 2026
sun-tzu-bot[bot]
sun-tzu-bot Bot previously requested changes Aug 14, 2026

@sun-tzu-bot sun-tzu-bot Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Review:

Thanks for your contribution. Automated checks found nothing blocking, but there are some suggestions below.


"If mind is willing, the flesh could go on and on without many things."

— Sun Tzu, The Art of War

Comment thread domains/_vercel.pacres-portfolio.json Outdated
@sun-tzu-bot sun-tzu-bot Bot removed the reason: unauthorized You are not authorized to modify this domain. label Aug 15, 2026
@sun-tzu-bot
sun-tzu-bot Bot dismissed their stale review August 15, 2026 14:57

The issues raised in this review have been addressed. Dismissing automatically.

@dragsbruh
dragsbruh merged commit 2c2732c into is-a-dev:main Aug 16, 2026
1 check passed
@is-a-dev-reviewbot

Copy link
Copy Markdown

Pull Request Merged 🎉

What's next?

Just follow the steps below and you can start using your domain!

GitHub Pages

  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.
  7. Enjoy your domain!

Vercel

You may have to verify the domain so that you can successfully 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 "Domains" section in your project's dashboard and click on "Refresh" to see if it works. If you need to verify the domain with Vercel then please follow our Vercel guide here.

Cloudflare Pages

Please read this section of our documentation.

Other hosting providers

Just make sure you have added the domain to your website. Try to see if there is a guide for your hosting provider at our documentation to see how you can configure it. It's also a good idea to see your hosting providers' documentation to see how you can add a custom domain.

Webserver (like NGINX, Caddy, Apache and etc.)

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 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 to correct your mistakes.

Thanks for reading the message and thank you for using is-a.dev! ❤️

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants