Remove js domain redirects
See -- these domain redirects are obsolete.
Closes
<script>
var current_url = window.location.href;
- 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/"));
- }
- var http_url = new RegExp("^http://(www\.)?bazel.build/");
- if (http_url.test(current_url)) {
- window.location.replace(current_url.replace(http_url, "https://bazel.build/"));
- }
+
// Do a shortcut so that be.bazel.build redirect to the build encyclopedia
var be_url = new RegExp("^https?://be(\.bazel.build)?/?");
if (be_url.test(current_url)) {
