Readded pull for bugfixing

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