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 [email protected].
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.
- Fork this repository.
- Add a new file called
your-domain-name.json
in thedomains
folder 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.dev
domain!
For issues with the CLI, do not open an issue on this repository, instead open an issue on the is-a-dev/cli repository.
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 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.