Testing with git pull option

This commit is contained in:
2020-10-17 20:12:34 +02:00
parent 6024a801da
commit 25af1e5a4b

View File

@@ -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