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