cgit is more efficient compared to gitweb and has nicer URLs. Other
redirects like gcc.gnu.org/g:xxxxx and bugzilla now also redirect to
cgit.
---
cgi-bin/gcc-gitref.cgi | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/cgi-bin/gcc-gitref.cgi b/cgi-bin/gcc-gitref.cgi
index 17b5f3faf8aa..edcf288fa1f6 100755
--- a/cgi-bin/gcc-gitref.cgi
+++ b/cgi-bin/gcc-gitref.cgi
@@ -23,7 +23,7 @@ if expr match "$ret" "[0-9a-f]\{7,40\}" > /dev/null; then
echo 'Content-type: text/html'
echo
echo '<html>'
- echo '<meta http-equiv="Refresh" content="0;
url=https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;h='$ret'">'
+ echo '<meta http-equiv="Refresh" content="0;
url=https://gcc.gnu.org/cgit/gcc/commit/?id='$ret'">'
echo '</html>'
else
echo 'Status: 400 Bad Request'
--
2.49.0
