diff --git a/tools/release.sh b/tools/release.sh index a079007..48bb254 100755 --- 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