Fix #18140: broken link to bug tracker on homepage.

coq · Oct 9, 2023 · 410acb8 · 410acb8
1 parent dda5305
commit 410acb8
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/pages/bugs/index.html b/pages/bugs/index.html
@@ -0,0 +1,4 @@
+<#include "incl/macros.html">
+<head>
+  <meta http-equiv="Refresh" content="0; URL=https://github.com/coq/coq/issues" />
+</head>
diff --git a/pages/index.html b/pages/index.html
@@ -108,7 +108,7 @@
 <div class="frameworklinks">
 <ul>
 <li><a href="/coq-team.html">Coq Team</a></li>
-<li><a href="/bugs/">Bug tracker</a></li>
+<li><a href="https://github.com/coq/coq/issues">Bug tracker</a></li>
 <li><a href="https://github.com/coq/coq/blob/master/CONTRIBUTING.md">Contributing guide</a></li>
 <li><a href="/consortium">Coq Consortium</a></li>
 </ul>