is-a-dev Banner

Domains Open Pull Requests Open Issues

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.

Discord Server

## Issues If you have any problems, feel free to [open a issue](https://github.com/is-a-dev/register/issues/new/choose). If you have an issue that contains confidental infomation, send an email to security@maintainers.is-a.dev. ## Register ### Manual Registration - [Fork](https://github.com/is-a-dev/register/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](https://www.is-a.dev/docs). - 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](https://manage.is-a.dev), 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](https://discord.gg/PZCGHz4RhQ), 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](https://is-a-dev.wdh.gg). ### Donate If you like this project, please consider donating so we can keep this project running forever! Buy Me a Coffee Liberapay ### Similar Services If you want to find services similar to is-a.dev, take a look on [Free For Life](https://github.com/wdhdev/free-for-life#domains).