Fix jdk name for jdk8u_hg repo.

adoptium · Sep 25, 2023 · 2ff934d · 2ff934d
1 parent 443acc5
commit 2ff934d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/otterdog/adoptium.jsonnet b/otterdog/adoptium.jsonnet
@@ -588,7 +588,7 @@ orgs.newOrg('adoptium') {
     newMirrorRepo('jdk8u') {
     },
     newMirrorRepo('jdk8u_hg') {
-      jdk_name:: "jdk8u",
+      jdk_name:: "JDK8u",
       jdk_url:: "http://hg.openjdk.java.net/jdk8u/jdk8u/",
       archived: true,
     },