I just realised you're probably talking mostly about links in old comments on bugs rather than in source code of bugsnet (because they would be easy to find).
Maybe permanent redirects aren't so bad in that case. But also, can't we just update the comments in place? Cheers Joe On Monday, 4 October 2021, Joe Watkins <krak...@gmail.com> wrote: > 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 >> >>
