Merge branch 'development' into PRIVATEasSubmodule

2017-04-17 05:51:04 +02:00 · 2017-04-17 05:51:04 +02:00 · c58dd6279d
parent b1248cfa77 de48d54201
commit c58dd6279d
1 changed files with 1 additions and 1 deletions
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@ -432,7 +432,7 @@ mergeIntoMaster:
    - git commit VERSION -m "[skip ci] updated version information after successful test of $TESTEDREV"
    - export UPDATEDREV=$(git describe)                                                             # tested state + 1 commit
    - git checkout master
-    - git merge $UPDATEDREV
+    - git merge $UPDATEDREV -s ours                                                                 # conflicts occur only for inconsistent state
    - git push origin master                                                                        # master is now tested version and has updated VERSION file
    - git checkout development
    - git pull