diff options
Diffstat (limited to '')
| -rwxr-xr-x | aux/workflow/dist.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh index 69c0173..15593f4 100755 --- a/aux/workflow/dist.sh +++ b/aux/workflow/dist.sh @@ -73,7 +73,7 @@ sh aux/workflow/sign-tarballs.sh -n "$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 origin refs/notes/signatures/tar.xz -o skip-ci --no-verify git push --tags -o skip-ci --no-verify git push |