On Sun, Mar 30, 2025 at 04:25:41PM +0200, Mark Wielaard wrote:
> 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.
LGTM.
> 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
Jakub
