[Git][ghc/ghc][wip/10.0.1-backports] Release script fixes