diff --git a/tools/release.sh b/tools/release.sh index d891924ae1ada23b9a031490fbefe92ca0aca3bc..986914ce5515380d87a2473614a55a45d14cf579 100755 --- a/tools/release.sh +++ b/tools/release.sh @@ -13,6 +13,14 @@ # ### +# +# Steps to do the release: +# - Update information in the code (see update_release.sh) +# - Update the ChangeLog +# - Push the hash on solverstack as: +# - a tag named vx.x.x +# - a branch named release-x.x.x (will trigger the CI to generate the release) +# changelog="" function gen_changelog()