Merge pull request #1350 from open-domains/wdhdev-patch-1

Delete domains/is-a-dev.is-not-a.dev.json

domains/_github-pages-challenge-wdhdev.is-a-dev.is-not-a.dev.json

@@ -1,10 +0,0 @@
-{
-  "domain": "is-not-a.dev",
-  "subdomain": "_github-pages-challenge-wdhdev.is-a-dev",
-
-  "record": {
-    "TXT": ["04201e6c373109a9383d57df98cb4e"]
-  },
-
-  "proxied": false
-}

domains/is-a-dev.is-not-a.dev.json

@@ -1,10 +0,0 @@
-{
-  "domain": "is-not-a.dev",
-  "subdomain": "is-a-dev",
-
-  "record": {
-    "CNAME": "wdhdev.github.io"
-  },
-
-  "proxied": false
-}