Re: [PATCH] gcc-gitref.cgi: Redirect to cgit instead of gitweb

2025-04-05 Thread Jakub Jelinek
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:x and bugzilla now also redirect to > cgit. LGTM. > diff --git a/cgi-bin/gcc-gitref.cgi b/cgi-bin/gcc-gitref.cgi > index 17b5f3f

Re: [PATCH] gcc-gitref.cgi: Redirect to cgit instead of gitweb

2025-04-04 Thread Mark Wielaard
Hi Gerald, (Adding Arsen to CC, see below) On Sat, Apr 05, 2025 at 12:02:44AM +0200, Gerald Pfeifer wrote: > On Fri, 4 Apr 2025, Mark Wielaard wrote: > > So I really don't have time to rewrite this to use some other cgi > > mechanism. Would you mind if we go with the current version? > > Apologi

Re: [PATCH] gcc-gitref.cgi: Redirect to cgit instead of gitweb

2025-04-04 Thread Gerald Pfeifer
On Fri, 4 Apr 2025, Mark Wielaard wrote: >>> Might there be a way to do that on the server side (via .htaccess or some >>> other configuration)? >> There might be, but it has been more than a decade since I hacked on >> cgi scripts. I am not sure I can reliably rewrite this one to use some >> othe

Re: [PATCH] gcc-gitref.cgi: Redirect to cgit instead of gitweb

2025-04-04 Thread Mark Wielaard
Hi Gerald, On Mon, 2025-03-31 at 15:27 +0200, Gerald Pfeifer wrote: > > - echo 'https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;h='$ret'">' > > + echo 'https://gcc.gnu.org/cgit/gcc/commit/?id='$ret'">' > > Might there be a way to do that on the server side (via .htaccess or some > other configura

Re: [PATCH] gcc-gitref.cgi: Redirect to cgit instead of gitweb

2025-04-04 Thread Gerald Pfeifer
On Sun, 30 Mar 2025, Mark Wielaard wrote: > cgit is more efficient compared to gitweb and has nicer URLs. Other > redirects like gcc.gnu.org/g:x and bugzilla now also redirect to > cgit. Happy to follow your recommendation. > - echo 'https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;h='$ret'">'

Re: [PATCH] gcc-gitref.cgi: Redirect to cgit instead of gitweb

2025-04-04 Thread Mark Wielaard
Hi Gerald, On Mon, 2025-03-31 at 17:32 +0200, Mark Wielaard wrote: > On Mon, 2025-03-31 at 15:27 +0200, Gerald Pfeifer wrote: > > > - echo 'https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;h='$ret'">' > > > + echo 'https://gcc.gnu.org/cgit/gcc/commit/?id='$ret'">' > > > > Might there be a way to do