Skip to content

Verify your is-a.dev Domain with GitHub Pages

Get your verification string

  1. Open GitHub, press on your profile icon on the top right, and press Settings.

  1. Press Pages.

  1. Press Add a domain.

  1. In the field that appears, type your is-a.dev domain name (e.g. myname.is-a.dev) and press Add domain.

  1. Copy the hostname and the verification string.

Create the domain file

Create a JSON file inside the domains/ directory called domains/hostname.json using the hostname you copied in step 5 with the following content and submit a pull request:

{
    "owner": {
        "username": "github-username"
    },
    "record": {
        "TXT": ["<github-verification-string>"]
    }
}

Configuration

After your pull request has been merged, repeat the steps to get the verification string and press the Verify button. If it shows any error such as Unable to verify your domain, try waiting a few minutes (sometimes up to 24 hours) as the DNS change might not have reflected on the DNS server.