Pull before pushing

2020-04-18 10:17:25 +02:00 · 2020-04-18 10:17:25 +02:00 · 7d452ae34d
parent 21109ad983
commit 7d452ae34d
1 changed files with 1 additions and 0 deletions
--- a/entrypoint.sh
+++ b/entrypoint.sh
@ -86,6 +86,7 @@ _push_to_github() {
        fi
    else
        echo "::debug::Push commit to remote branch $INPUT_BRANCH"
+        git pull origin "HEAD:$INPUT_BRANCH"
        git push --set-upstream origin "HEAD:$INPUT_BRANCH" --tags
    fi
 }