Hi Gerald, 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 use some other mechanism. Cheers, Mark
