[committed] doc: Switch valgrind.com to https
Fri Aug 28 14:56:26 GMT 2020
On Tue, 25 Aug 2020, Martin Liška wrote:
> I noticed your continual effort to change http:// links to https://.
> I've written a simple script that can do that in automatic way.
Thanks, Martin! My missions isn't actually changing http:// to https://
where possible, but checking for broken links and redirects offered by
server admins. ;-)
The latter indeed have included a number of those you observed, though
there aren't many (if any) left.
> What do you think about using it?
Are you offering to update those links the script identifies, or that
this is for me? :) If the former, absolutely - even where server admins
have not activated a redirect (yet), if there is proper https available
we can use that. If the latter, the primary challenge is one of time,
where I already have fallen behind on fixing the really broken links.
More information about the Gcc-patches