Fix small mistake in release script.

orium · Nov 5, 2023 · dc024b5 · dc024b5
1 parent fca5573
commit dc024b5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/release.sh b/tools/release.sh
@@ -91,7 +91,7 @@ set_version "$next_version"
 
 git commit -am "Bump to version $next_version."
 
-echo "Check if everything is alright.  If so, open a PR, merge it, and then do:"
+echo "Check if everything is alright.  If so do:"
 echo
 echo "  git push --atomic origin $MAIN_BRANCH v${release_version} && git checkout v${release_version} && cargo publish && git checkout $MAIN_BRANCH"
 echo