gibin

is-a.dev

is-a.dev is a service that allows developers to get a sweet-looking .is-a.dev subdomain for their personal websites.

---

Announcements

Please join our Discord server for announcements, service updates, and downtime notifications regarding the service.

Not all announcements are posted on GitHub¹, however they will always be posted in our Discord server.

Register

If you want a visual guide, check out this blog post.

• Fork the repository.
• Follow the instructions on our documentation.
• Once you open your pull request (PR), it will be reviewed. Keep an eye on it in case changes are needed!
  • If changes have been requested, please make the specified changes otherwise you will be rejected.
• Once your PR is merged, your DNS records should be published with-in a few minutes.
• Enjoy your new .is-a.dev subdomain! Please consider leaving a star ⭐️ to help support us!

Spam Pull Requests

With the recent rising of invalid PRs, including PRs generated with AI, we reserve the right to:

• Close these PRs without explanation.
• Block or limit the author’s ability to interact with is-a.dev’s repositories and resources.
• Remove any existing domains owned by the author if connected to TOS-violating content.

Report Abuse

If you find any subdomains being abused or breaking our TOS, please report them by creating an issue with relevant evidence.

---

We are supported by Cloudflare’s Project Alexandria sponsorship program, we would not be able to operate without their help!

1. We only post announcements on GitHub in the case of a serious incident, which you’ll see at the top of this README. ↩

This site is open source. Improve this page.