during update revision update development first then master to minimize critical time frame

This commit is contained in:
Franz Roters 2023-08-03 14:35:07 +02:00
parent b789d7ec14
commit 1d0cd6826e
1 changed files with 1 additions and 1 deletions

View File

@ -284,6 +284,6 @@ update_revision:
- >
git diff-index --quiet HEAD ||
git commit VERSION -m "[skip ci] updated version information after successful test of $VERSION"
- if [ ${CI_COMMIT_SHA} == $(git rev-parse HEAD^) ]; then git push origin HEAD:master HEAD:development; fi
- if [ ${CI_COMMIT_SHA} == $(git rev-parse HEAD^) ]; then git push origin HEAD:development HEAD:master; fi
only:
- development