Integrated: 8369246: Use https in make/devkit scripts

[Mikael Vidstedt]

On Tue, 7 Oct 2025 01:52:44 GMT, Mikael Vidstedt <mikael at openjdk.org> wrote:

> Let's switch to https for URLs in the make/devkit files, where possible.
> 
> That's most places, apart from - it turns out from empirical testing - the `fedora.riscv.rocks` (RISC-V) URL in Tools.gmk.
> 
> Testing:
> 
> * Built devkit on linux-x64
> * Verified that the JDK builds with the new devkit

This pull request has now been integrated.

Changeset: 7f070d35
Author:    Mikael Vidstedt <mikael at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/7f070d356c479ae30fe84fcf4d322c0b693fa15a
Stats:     6 lines in 2 files changed: 0 ins; 0 del; 6 mod

8369246: Use https in make/devkit scripts

Reviewed-by: ayang, erikj

-------------

PR: https://git.openjdk.org/jdk/pull/27663