Adjusted RELEASE_SCRIPT.md.
@@ -5,7 +5,7 @@ Steps to make a new release.
1. Decide new version number.
1. Start release, named after new release version.
1. Increase version number to new release version plus 'rc0'.
-1. Push branch to GitHub and start a PR to master.
+1. Commit, and push branch to GitHub and start a PR to master.
1. Review versions of all dependencies.
1. Update release notes to describe what's new in this release.
1. Update copyright year in LICENSE file.
