diff options
-rwxr-xr-x | aux/workflow/dist.sh | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh index a8ec82f..e5971b8 100755 --- a/aux/workflow/dist.sh +++ b/aux/workflow/dist.sh @@ -76,7 +76,11 @@ git tag "$VVERSION" sh aux/workflow/sign-tarballs.sh -n "$PROJECT" -cat <<EOF >&2 +printf 'Publish version? [Y/n]: ' >&2 +read -r publish + +if [ "$publish" = 'n' ]; then + cat <<EOF >&2 Now push the tag and the signature before pushing the commit: git push origin refs/notes/signatures/tar.gz -o skip-ci --no-verify @@ -84,3 +88,8 @@ git push --tags -o skip-ci --no-verify git push EOF +else + git push origin refs/notes/signatures/tar.gz -o skip-ci --no-verify + git push --tags -o skip-ci --no-verify + git push +fi |