diff --git a/scripts/release.sh b/scripts/release.sh index 65db1318c..18e7be15f 100755 --- a/scripts/release.sh +++ b/scripts/release.sh @@ -29,7 +29,7 @@ echo "Published zokrates/zokrates:$TAG" # Release on Github git tag -f latest -git tag $TAG +git tag -f $TAG git push origin -f latest git push origin $TAG