Don't trigger CI when pushing updated release commit

2021-11-22 16:53:32 +01:00 · 2021-11-22 16:53:32 +01:00 · 07cf73b393
parent 2cd353c8b6
commit 07cf73b393
1 changed files with 1 additions and 1 deletions
--- a/util/commitRelease
+++ b/util/commitRelease
@ -40,7 +40,7 @@ EOT
  git status;

  git commit -m "[release] $(cat ./new_releases.tmp)"
-  git push origin master;
+  git push origin master -o ci.skip;
 }

 main