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[^1], however they will always be posted in our Discord server.

[^1]: We only post announcements on GitHub in the case of a serious incident, which you'll see at the top of this README.

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!