AdoptOpenJDK moved to separated repo

This commit is contained in:
Yuxiang Zhang 2020-03-05 10:39:00 +08:00 committed by GitHub
parent 2b1dd2bd60
commit 7b8fe9b1df
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -21,12 +21,6 @@ REPOS = ["googlefonts/noto-fonts",
"openark/orchestrator", "openark/orchestrator",
"git-lfs/git-lfs", "git-lfs/git-lfs",
"prometheus/prometheus", "prometheus/prometheus",
"AdoptOpenJDK/openjdk8-binaries",
"AdoptOpenJDK/openjdk9-binaries",
"AdoptOpenJDK/openjdk10-binaries",
"AdoptOpenJDK/openjdk11-binaries",
"AdoptOpenJDK/openjdk12-binaries",
"AdoptOpenJDK/openjdk13-binaries",
"commercialhaskell/stackage-content", "commercialhaskell/stackage-content",
] ]