From a3fd60656cdc2a154b7b5fd172ed1c191377b7b1 Mon Sep 17 00:00:00 2001 From: Conrad Date: Sat, 17 Oct 2020 21:02:01 +0200 Subject: [PATCH] Readded pull for bugfixing --- entrypoint.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/entrypoint.sh b/entrypoint.sh index 19354d5..caedd45 100755 --- a/entrypoint.sh +++ b/entrypoint.sh @@ -51,6 +51,7 @@ if _git_changed; then # Commit and push changes back if $INPUT_SAME_COMMIT; then echo "Amending the current commit..." + git pull git commit --amend --no-edit else if $INPUT_ONLY_CHANGED; then