Extend the release script to wait for GitHub Actions to finish and to be usable as a guide for the whole process. (#13483)