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

Tue Jan 30 13:57:39 UTC 2024

On Mon, 29 Jan 2024 21:16:49 GMT, Jonathan Gibbons <jjg 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.
>
> Marked as reviewed by jjg (Lead).

@jonathan-gibbons Can you sponsor?

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

PR Comment: https://git.openjdk.org/jtreg/pull/180#issuecomment-1916905302