diff options
| author | EuAndreh <eu@euandre.org> | 2023-03-22 16:22:09 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-03-22 16:22:15 -0300 |
| commit | 6a1c9ac0a16d8738e68c23ef07ae580ffdf2244c (patch) | |
| tree | 2e23af03af94b98103e4f96c0cd366a57c2f5614 | |
| parent | aux/workflow/dist.sh: Use authoring date over commit date (diff) | |
| download | remembering-6a1c9ac0a16d8738e68c23ef07ae580ffdf2244c.tar.gz remembering-6a1c9ac0a16d8738e68c23ef07ae580ffdf2244c.tar.xz | |
aux/workflow/dist.sh: Update Git push options
| -rwxr-xr-x | aux/workflow/dist.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh index 8111b34..c1c0342 100755 --- a/aux/workflow/dist.sh +++ b/aux/workflow/dist.sh @@ -87,13 +87,13 @@ 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 -git push --tags -o skip-ci --no-verify +git push origin refs/notes/signatures/tar.gz -o ci.skip --no-verify +git push --tags -o ci.skip --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 origin refs/notes/signatures/tar.gz -o ci.skip --no-verify + git push --tags -o ci.skip --no-verify git push fi |