github-release-scripts Scripts for release artefacts to GitHub releases These scripts are used by the refactor_openjdk_release_tool job.