diff --git a/scripts/full-release.sh b/scripts/full-release.sh index 8699bbc..19f66be 100755 --- a/scripts/full-release.sh +++ b/scripts/full-release.sh @@ -92,6 +92,10 @@ if [[ "v$RAW_VERSION" != "v$TAGGED_VERSION" ]]; then fi VERSION="v$RAW_VERSION" +if [[ $DRY_RUN == false ]]; then + git push +fi + if [[ $DRY_RUN == false ]]; then if [[ $(gh release list | grep -i "Draft" | grep -i "$VERSION" && echo "true" || echo "false") == "true" ]]; then gh release delete --yes "$VERSION"