Add www.bazel.io --> bazel.build redirect
Extending js redirect to catch "www.bazel.io" in addition to "bazel.io"
Closes
MOS_MIGRATED_REVID=143457246
<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/"));
}
