diff options
| author | EuAndreh <eu@euandre.org> | 2021-07-23 15:13:23 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-07-23 15:13:23 -0300 |
| commit | 3a94df050166da6bf9fc3fda584b69816779d865 (patch) | |
| tree | 145f6767d7afeeca9b4e0524c14a0758209f6e7a /aux/workflow/dist.sh | |
| parent | TODOs.md: Mark #task-bd165b74-c559-48ee-1d29-eaa906aa0393 as DONE (diff) | |
| download | remembering-3a94df050166da6bf9fc3fda584b69816779d865.tar.gz remembering-3a94df050166da6bf9fc3fda584b69816779d865.tar.xz | |
aux/: 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 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 |