is-a-dev is a service that allows developers to get a sweet-looking ".is-a.dev" domain for their personal websites.
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.
- Fork this repository.
- Add a new file called
your-domain-name.jsonin thedomainsfolder to registeryour-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.devdomain!
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.
You can check the uptime of our services on our status dashboard.
If you like this project, please consider donating so we can keep this project running forever!
If you want to find services similar to is-a.dev, take a look on Free For Life.