From 46e01acfd069de4cb6fc8d93f586a6a6cffb6ce4 Mon Sep 17 00:00:00 2001
From: William Harrison <william@williamdavidharrison.com.au>
Date: Sun, 26 Feb 2023 08:50:47 +0800
Subject: [PATCH] Delete _github-challenge-open-domains-org.is-not-a.dev.json

---
 ...-challenge-open-domains-org.is-not-a.dev.json | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 domains/reserved/_github-challenge-open-domains-org.is-not-a.dev.json

diff --git a/domains/reserved/_github-challenge-open-domains-org.is-not-a.dev.json b/domains/reserved/_github-challenge-open-domains-org.is-not-a.dev.json
deleted file mode 100644
index f6341d47..00000000
--- a/domains/reserved/_github-challenge-open-domains-org.is-not-a.dev.json
+++ /dev/null
@@ -1,16 +0,0 @@
-{
-  "$schema": "../../schemas/domain.schema.json",
-
-  "description": "GitHub Verification",
-
-  "domain": "is-not-a.dev",
-  "subdomain": "_github-challenge-open-domains-org",
-
-  "owner": {},
-
-  "record": {
-    "TXT": ["f4214d9ac0"]
-  },
-
-  "proxy": false
-}