From 7d452ae34d18c3362ea3d8ef166a6fde54d88fba Mon Sep 17 00:00:00 2001 From: Stefan Zweifel Date: Sat, 18 Apr 2020 10:17:25 +0200 Subject: [PATCH] Pull before pushing --- entrypoint.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/entrypoint.sh b/entrypoint.sh index 36ebf80..e352ba3 100755 --- 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 }