diff options
Diffstat (limited to 'aux/workflow/dist.sh')
| -rwxr-xr-x | aux/workflow/dist.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh index ee67f24..ed61ee5 100755 --- a/aux/workflow/dist.sh +++ b/aux/workflow/dist.sh @@ -33,3 +33,13 @@ fi git tag "$VVERSION" sh aux/workflow/sign-tarballs.sh "$PROJECT" + + +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 +git push --tags -o skip-ci --no-verify +git push + +EOF |