Update github-release.py

This commit is contained in:
Yuxiang Zhang 2020-02-29 09:41:00 +08:00 committed by GitHub
parent abe4ce0d33
commit 846315e8eb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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