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 hello@maintainers.is-a.dev 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 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 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!