diff options
| -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> |