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 then feel free to open a issue on github. If you have an issue that contains confidental infomation then email [email protected] any other emails will be ignored.

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 automagically!

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

• 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!

For issues with the CLI, DO NOT OPEN AN ISSUE ON THIS REPOSITORY, instead open an issue here.

Install the CLI:

npm install @is-a-dev/cli -g

Login to the CLI:

is-a-dev login

Register a subdomain on the CLI:

is-a-dev register

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

If you want to find services similar to is-a.dev, take a look on free-for.life.

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