Update entrypoint.sh

This commit is contained in:
Rémi Delhaye 2023-07-21 15:53:49 +02:00 committed by GitHub
parent 07c4d7b3de
commit 8cf341762d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -170,6 +170,8 @@ echo "[+] git diff-index:"
# git diff-index : to avoid doing the git commit failing if there are no changes to be commit
git diff-index --quiet HEAD || git commit --message "$COMMIT_MESSAGE"
echo "[+] Pushing git commit"
echo "[+] Pushing git commit ($GIT_CMD_REPOSITORY --set-upstream $TARGET_BRANCH)"
# --set-upstream: sets de branch when pushing to a branch that does not exist
git push "$GIT_CMD_REPOSITORY" --set-upstream "$TARGET_BRANCH"
echo "[+] Push done"