Integrated: 7903624: Use openjdk.org instead of openjdk.java.net

Tue Jan 30 16:22:45 UTC 2024

On Fri, 12 Jan 2024 15:54:21 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> We should use openjdk.org instead of openjdk.java.net.
> 
> This bug was triggered by the fact that git.openjdk.java.net had problem resolving properly for GitHub Actions in the build script (and the theory is that git.openjdk.org would work better), but this should be fixed nevertheless.

This pull request has now been integrated.

Changeset: af06ecfc
Author:    Magnus Ihse Bursie <ihse at openjdk.org>
Committer: Christian Stein <cstein at openjdk.org>
URL:       https://git.openjdk.org/jtreg/commit/af06ecfc3dccd6baa50f53c0862b7ba2b2cbcbd3
Stats:     18 lines in 10 files changed: 0 ins; 0 del; 18 mod

7903624: Use openjdk.org instead of openjdk.java.net

Reviewed-by: jjg

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

PR: https://git.openjdk.org/jtreg/pull/180