diff --git a/scripts/deploy-new-stable-version.sh b/scripts/deploy-new-stable-version.sh index e981740c58315046e8b5c5a5086b540cb5303127..92733055ec7e96cab769b35875b8710919a7e7cb 100755 --- a/scripts/deploy-new-stable-version.sh +++ b/scripts/deploy-new-stable-version.sh @@ -105,4 +105,8 @@ git tag -fa "$VERSION" -m "release version $VERSION" git push git push --tags --force +echo +echo "N'oubliez pas de modifier le numéro de version dans le document https://doi.org/10.15454/TLO5LX" +echo + echo "Tagging done, Gitlab CI/CD should take care of the rest."