diff options
| author |  Steren Giannini <steren@google.com> | 2017-03-10 15:16:15 +0000 |
|---|---|---|
| committer |  Vladimir Moskva <vladmos@google.com> | 2017-03-10 17:40:40 +0000 |
| commit | b6d961f1cc89514f918843d8d41f3da2cfc27b4b (patch) | |
| tree | cb53f093a387121423476fc4076895f074746e16 /site/_layouts | |
| parent | ab444923f3d2566a2be3860bd448f79af3c3fe43 (diff) | |
Adding redirects for old pages that were served and indexed.
Fixes #2551
Closes #2565.
--
Reviewed-on: https://github.com/bazelbuild/bazel/pull/2565
PiperOrigin-RevId: 149755159
MOS_MIGRATED_REVID=149755159
Diffstat (limited to 'site/_layouts')
| -rw-r--r-- | site/_layouts/regular-redirect.html | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/site/_layouts/regular-redirect.html b/site/_layouts/regular-redirect.html new file mode 100644 index 0000000000..2418143677 --- /dev/null +++ b/site/_layouts/regular-redirect.html @@ -0,0 +1,7 @@ +<html> + <head> + <script> + window.location.replace("{{ page.redirect }}" + window.location.hash); + </script> + </head> +</html>
\ No newline at end of file |