diff --git a/release.sh b/release.sh index c4b7a868c822352e2f4698c7a6f74832fd3c1476..f0ff58d7f58b110248ce578cb06c58a44226c636 100755 --- a/release.sh +++ b/release.sh @@ -119,7 +119,7 @@ else git add VERSION git commit --allow-empty -m "$msg" git tag v$version - git push origin v$version + git push origin v$shortversion v$version git archive -o plumed-$version.tgz --prefix plumed-$version/ v$version echo echo "Done!"