From 860e0ba866e36434d277484102309167a1f8d421 Mon Sep 17 00:00:00 2001 From: Andrew Morgan <1342360+anoadragon453@users.noreply.github.com> Date: Thu, 24 Jun 2021 18:00:42 +0100 Subject: [PATCH] Redirect to develop/index.html instead (#10241) GitHub Pages will serve develop/index.html if we navigate to develop/. index.html will still be the welcome page (for now), but if we ever decide to change that in the future, we won't need to update this redirect page --- index.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/index.html b/index.html index 75a22c2149..9e0617fc75 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@
Redirecting you to the latest documentation. - If you are not redirected, please click here. + If you are not redirected, please click here.