diff options
author | EuAndreh <eu@euandre.org> | 2021-08-17 17:02:43 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2021-08-17 17:03:28 -0300 |
commit | 45e2145a719833019bbd95072db98af03647b797 (patch) | |
tree | fe7740c7db05801b463e773b113f8f98a432e3d1 /aux/workflow/dist.sh | |
parent | TODOs.md: Add #task-e99fa50b-75ea-21fb-6b4d-84447646cdea (diff) | |
download | gistatic-45e2145a719833019bbd95072db98af03647b797.tar.gz gistatic-45e2145a719833019bbd95072db98af03647b797.tar.xz |
aux/, tests/lib.sh: Update
Diffstat (limited to 'aux/workflow/dist.sh')
-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 15593f4..69c0173 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.xz -o skip-ci --no-verify +git push origin refs/notes/signatures/tar.gz -o skip-ci --no-verify git push --tags -o skip-ci --no-verify git push |