diff --git a/util/commitRelease b/util/commitRelease index ab4cb5c6c..02eba7a23 100755 --- 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