docs: redirect starlette.io to starlette.dev (#3024)

diff --git a/docs/overrides/main.html b/docs/overrides/main.html
new file mode 100644 (file)
index 0000000..d21da26
--- /dev/null
+++ b/docs/overrides/main.html
@@ -0,0 +1,12 @@
+{% extends "base.html" %}
+
+{% block extrahead %}
+  {{ super() }}
+  <script>
+    // Redirect starlette.io to starlette.dev
+    if (window.location.hostname === 'www.starlette.io' || window.location.hostname === 'starlette.io') {
+      const newUrl = window.location.href.replace(/^https?:\/\/(www\.)?starlette\.io/, 'https://www.starlette.dev');
+      window.location.replace(newUrl);
+    }
+  </script>
+{% endblock %}