Add seo and redirect script so users find ngrok.com instead of ngrok.mintlify.dev

docs.json

@@ -29,6 +29,11 @@
       "family": "Nunito Sans"
     }
   },
+  "seo": {
+    "metatags": {
+      "canonical": "https://ngrok.com/docs"
+    }
+  },
   "favicon": "favicon.ico",
   "logo": {
     "light": "/logo/light.svg",
@@ -169,7 +174,7 @@
                 ]
               },
               {
-                "group": "Examples",                
+                "group": "Examples",
                 "pages": [
                   "universal-gateway/examples",
                   "universal-gateway/examples/front-door-pattern",

redirect-to-ngrok.js

@@ -0,0 +1,20 @@
+// Redirect to ngrok.com domain if not already there
+// This only runs in production (ngrok.mintlify.dev), not in preview/branch deployments
+(function() {
+  var hostname = window.location.hostname;
+
+  // Skip redirect if already on ngrok.com
+  if (hostname === 'ngrok.com') {
+    return;
+  }
+
+  // Only redirect from the main production Mintlify domain
+  // Preview deployments have different hostnames and should not redirect
+  if (hostname !== 'ngrok.mintlify.dev') {
+    return;
+  }
+
+  // Perform the redirect, preserving the path and search params
+  var newUrl = 'https://ngrok.com' + window.location.pathname + window.location.search + window.location.hash;
+  window.location.replace(newUrl);
+})();

robots.txt

@@ -0,0 +1,2 @@
+User-agent: *
+Disallow: /