# Setting up Vercel with an is-a.dev subdomain

This guide will walk you through the process of setting up a Vercel site and pointing your is-a.dev subdomain towards it.

If you haven't made a Vercel site, make sure to make one. Follow the instructions in Vercel's Docs.

1. Navigate to your Vercel dashboard. Then, navigate to the "Domains" tab of your project's settings. Click "Add Domain" and enter the is-a.dev subdomain you want (e.g. example.is-a.dev).
2. Once you're past the "Configure Environment and Redirects" tab—if unsure, just click "Save"—then click "Continue manually". Copy the TXT verification value that you'll get; you'll need this in step 4.
3. Fork our repository and create a file in the /domains folder named your-domain.json. Replace your-domain with the name of the subdomain you chose earlier in the Vercel dashboard.
4. In this file, paste the following JSON and make sure to replace all the values properly.

{
    "owner": {
        "username": "your-github-username",
        "email": "your-email-address@example.com"
    },
    "records": {
        "A": ["216.198.79.1"]
    }
}

5. Create a second file named _vercel.your-domain.json (replace your-domain with your chosen subdomain) and add the following content (make sure to replace the TXT record value with your verification string):

{
    "owner": {
        "username": "your-github-username",
        "email": "your-email-address@example.com"
    },
    "records": {
        "TXT": "insert-TXT-string-you-got-from-vercel-here"
    }
}

Once you have made these two files, you can now make a pull request to the repository. Then you'll need to be patient until it gets merged. If you want a chance to get your PR merged faster, join our Discord server and send your pull request link once in #pull-requests.

Once the pull request has been merged your site should be working; if it is still redirecting to the is-a.dev site, try clearing your cache.