Fix pushing the generated files into a branch that does not exist

allow to push into remote, even if brach does not exist
This commit is contained in:
Carles Pina Estany 2020-11-10 09:00:30 +00:00 committed by GitHub
commit ea29b5b83f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -48,4 +48,5 @@ git status
git diff-index --quiet HEAD || git commit --message "$COMMIT_MESSAGE" git diff-index --quiet HEAD || git commit --message "$COMMIT_MESSAGE"
echo "Pushing git commit" echo "Pushing git commit"
git push origin "$TARGET_BRANCH" # --set-upstream: sets de branch when pushing to a remote empty repository
git push origin --set-upstream "$TARGET_BRANCH"