This seems reasonable. I wonder if we could log the redirects so that we can obtain the list of links and update accordingly so that we may eventually retire the domain without breaking stuff.
Cheers Joe On Monday, 4 October 2021, Stanislav Malyshev <smalys...@gmail.com> wrote: > Hi! > > I know we're no longer using git.php.net, but there are a lot of links > there e.g. in bugs system. I wonder how hard it would be to make > git.php.net redirect links like this: > > http://git.php.net/?p=php-src.git;a=commit;h=3c939e3f69955d0 > 87e0bb671868f7267dfb2a502 > > to something like: > > https://github.com/php/php-src/commit/3c939e3f69955d087e0bb6 > 71868f7267dfb2a502 > > -- > Stas Malyshev > smalys...@gmail.com > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: https://www.php.net/unsub.php > >
