From 1d0cd6826e80e9be38f958310e717b0f66e5d879 Mon Sep 17 00:00:00 2001
From: Franz Roters <f.roters@mpie.de>
Date: Thu, 3 Aug 2023 14:35:07 +0200
Subject: [PATCH] during update revision update development first then master
 to minimize critical time frame

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 50c239f65..dde542a6c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -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