is-a.dev

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

Issues

If you have any problems, feel free to open a issue.

If you have an issue that contains confidental infomation, send an email to security@maintainers.is-a.dev.

Register

Manual Registration

• Fork this repository.
• Add a new file called your-domain-name.json in the domains folder to register your-domain-name.is-a.dev.
• Read the documentation.
• Your pull request will be reviewed and merged. Make sure to keep an eye on it incase we need you to make any changes!
• After the pull request is merged, please allow up to 24 hours for the changes to propagate.
• Enjoy your new .is-a.dev domain!

Automated Registration

When using the manage site, please ensure your records are valid. Please do NOT "test" out the manage site and create invalid PRs, it wastes maintainers' time.

Easiest method: Use the manage website, sign in with your GitHub account and click the register page in the navbar. Fill out some questions and it will all happen automatically!

Another method is to join our Discord server, head to the commands channel and run /register. The bot will ask you a few questions then will generate your PR and domain automatically. The bot also allows for domain deletion and editing.

Status

You can check the uptime of our services on our status dashboard.

Donate

If you like this project, please consider donating so we can keep this project running forever!

Similar Services

If you want to find services similar to is-a.dev, take a look on Free For Life.