there's also plenty of broken links on reddit to git.php.net , ref https://www.google.com/search?q=git.php.net+site%3Areddit.com
it wouldn't be hard to set up a redirector parsing commit ids out of the url and redirecting to github, +1 from me. On Mon, 4 Oct 2021 at 07:04, Stanislav Malyshev <smalys...@gmail.com> wrote: > Hi! > > On 10/3/21 9:48 PM, Joe Watkins wrote: > > 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? > > Well, that's possible too but I imagine it'd be more work. > > -- > Stas Malyshev > smalys...@gmail.com > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: https://www.php.net/unsub.php > >