From dcf6c34284a49db6f585c112738c8ee33fe0cd70 Mon Sep 17 00:00:00 2001
From: Kilian Cavalotti <kilian@stanford.edu>
Date: Thu, 18 Oct 2018 08:38:41 -0700
Subject: [PATCH] redirect: use document.location.replace instead of
 location.href to avoid storing old URL in browser history

---
 src/main.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main.html b/src/main.html
index 37a34506a..df6f50dfe 100644
--- a/src/main.html
+++ b/src/main.html
@@ -22,7 +22,7 @@
 
 {% if page.meta.redirect %}
 <script>
-    location.href = '{{ page.meta.redirect }}')
+    document.location.replace({{ page.meta.redirect }})
 </script>
 <meta http-equiv="refresh" content="0; url={{ page.meta.redirect }}"/>
 <link rel="canonical" href="{{ page.meta.redirect }} " />