diff options
author | David Z. Chen <dzc@google.com> | 2016-08-25 08:58:41 +0000 |
---|---|---|
committer | John Cater <jcater@google.com> | 2016-08-25 20:17:22 +0000 |
commit | 2c5411c3726be3574d822a14505292cc6da12def (patch) | |
tree | 45fe8e1bd3a9182fb2129ab8430eeb963f416b86 /site/_includes | |
parent | b1ae312f4eb220bc2729f1310dba7cd9b75f8d7f (diff) |
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
Diffstat (limited to 'site/_includes')
-rw-r--r-- | site/_includes/head.html | 6 |
1 files changed, 5 insertions, 1 deletions
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> |