From 2890c18c8fd568d32dc8a6a439f8fe84bf8d0406 Mon Sep 17 00:00:00 2001 From: Vadim Belman Date: Sat, 19 Oct 2024 10:38:50 -0400 Subject: [PATCH] . --- Makefile.toml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/Makefile.toml b/Makefile.toml index 5d4fc45..718749c 100644 --- a/Makefile.toml +++ b/Makefile.toml @@ -136,8 +136,7 @@ end dependencies = ["is-clean", "release-testing", "doc", "changelog"] description = "Pre-release tasks" script = ''' -exec git diff-index --quiet HEAD -diffed = exec git diff-index --quiet HEAD +diffed = exec git diff-index --exit-code HEAD echo "DIFF index: ${diffed.code}" if not eq ${diffed.code} 0 echo "Docs need committing. See the `git diff-index` output below:" @@ -147,7 +146,6 @@ if not eq ${diffed.code} 0 exec --fail-on-error git add README.md CHANGELOG.md echo "commit..." exec --fail-on-error git commit -m "minor: Pre-release docs update" - echo "push..." exec --fail-on-error git push end