diff options
| author |  David Stanke <davidstanke@google.com> | 2017-01-03 18:15:18 +0000 |
|---|---|---|
| committer |  John Cater <jcater@google.com> | 2017-01-03 20:49:14 +0000 |
| commit | 7a14ed00a20a7219be60e054c4d22bcf202df1c9 (patch) | |
| tree | 4e53976fd785373e35c67d80a368afb6b55469c5 /site/_includes | |
| parent | acb38b1d414cca3e3bd651442c2a58e925e32e73 (diff) | |
Add www.bazel.io --> bazel.build redirect
Extending js redirect to catch "www.bazel.io" in addition to "bazel.io"
Closes #2328.
--
Reviewed-on: https://github.com/bazelbuild/bazel/pull/2328
PiperOrigin-RevId: 143457246
MOS_MIGRATED_REVID=143457246
Diffstat (limited to 'site/_includes')
| -rw-r--r-- | site/_includes/head.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/_includes/head.html b/site/_includes/head.html index 82b22541e8..5dfdb9f5ab 100644 --- a/site/_includes/head.html +++ b/site/_includes/head.html @@ -6,7 +6,7 @@ <script> var current_url = window.location.href; - var bad_url = new RegExp("^https?://(bazelbuild.github.io/bazel|bazel.io)/"); + var bad_url = new RegExp("^https?://(bazelbuild.github.io/bazel|(www\.)?bazel.io)/"); if (bad_url.test(current_url)) { window.location.replace(current_url.replace(bad_url, "https://bazel.build/")); } |