[committed] doc: Switch valgrind.com to https

Martin Liška mliska@suse.cz
Tue Sep 1 11:30:28 GMT 2020

On 8/28/20 4:56 PM, Gerald Pfeifer wrote:
> 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.

Ah, all right.

>> 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.

Yes, I'm offering to start using https for the url links that work. I haven't
verified that HTTPS points to the "same" content as http, but it should.

May I suggest a patch that will do that?


>  If the latter, the primary challenge is one of time,
> where I already have fallen behind on fixing the really broken links.
> Gerald

More information about the Gcc-patches mailing list