[committed] doc: Switch valgrind.com to https

Gerald Pfeifer gerald@pfeifer.com
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 mailing list