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 '<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'">' > > > > 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 > other mechanism.
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? Thanks, Mark
