From 2c5411c3726be3574d822a14505292cc6da12def Mon Sep 17 00:00:00 2001
From: "David Z. Chen" <dzc@google.com>
Date: Thu, 25 Aug 2016 08:58:41 +0000
Subject: Redirect http://bazel.io to https://bazel.io.

Fixes #1644

Closes #1645.

--
Reviewed-on: https://github.com/bazelbuild/bazel/pull/1645
MOS_MIGRATED_REVID=131265074
---
 site/_includes/head.html | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'site/_includes')

diff --git a/site/_includes/head.html b/site/_includes/head.html
index 57bad5c9ee..7bd812a480 100644
--- a/site/_includes/head.html
+++ b/site/_includes/head.html
@@ -8,7 +8,11 @@
       var current_url = window.location.href;
       var bad_url = new RegExp("^https?://bazelbuild.github.io/bazel/");
       if (bad_url.test(current_url)) {
-        window.location.replace(current_url.replace(bad_url, "http://bazel.io/"));
+        window.location.replace(current_url.replace(bad_url, "https://www.bazel.io/"));
+      }
+      var http_url = new RegExp("^http://(www\.)?bazel.io/");
+      if (http_url.test(current_url)) {
+        window.location.replace(current_url.replace(http_url, "https://www.bazel.io/"));
       }
     </script>
 
-- 
cgit v1.2.3