Merge pull request #40277 from TheAarvee/main

Requesting merge of my PR to get the is-as.dev subdomain

domains/_vercel.aarvee.json

@@ -0,0 +1,9 @@
+{
+    "owner": {
+        "username": "TheAarvee",
+        "email": "ravivarmanb05@gmail.com"
+    },
+    "records": {
+        "TXT": "vc-domain-verify=aarvee.is-a.dev,8840957377f585afd818"
+    }
+}

domains/aarvee.json

@@ -0,0 +1,9 @@
+{
+    "owner": {
+        "username": "TheAarvee",
+        "email": "ravivarmanb05@gmail.com"
+    },
+    "records": {
+        "A": ["216.198.79.1"]
+    }
+}