ソースを参照

reverted the coverity_scan update policy

Stasik0 10 年 前
コミット
55f47fbfed
共有1 個のファイルを変更した3 個の追加4 個の削除を含む
  1. 3 4
      tools/.coverity.sh

+ 3 - 4
tools/.coverity.sh

@@ -12,14 +12,13 @@ if [[ "$COMMITS" == "1" ]]; then
     git clone -b coverity_scan https://$GITAUTH@github.com/acplt/open62541
     cd open62541
     git fetch origin
-    git merge origin/master --no-commit -X theirs
+    git merge origin/master
     git config --global user.email "open62541-travis-ci@users.noreply.github.com"
     git config --global user.name "Open62541 travis-ci"
     git config --global push.default simple
     git add *
-    git commit -am "automated merge"
-    git reset $(git commit-tree HEAD^{tree} -m "push to coverity scan by travis-ci")
-    git push https://$GITAUTH@github.com/acplt/open62541 --force
+    git commit -am "push to coverity scan by travis-ci"
+    git push https://$GITAUTH@github.com/acplt/open62541
     cd ..
     rm -rf open62541
 else