Update the docs for the GitHub release process

[zinwang]

Since parts of the GitHub release process have been automated with Codex and GitHub Actions, the documentation should be updated accordingly.