|
@@ -12,7 +12,6 @@ BRANCH="$(git log --pretty=format:"%d" --date=iso --abbrev=10 --all -1)"
|
|
|
DATE="$(git log --pretty=format:"%ad" --date=iso --abbrev=10 --all -1)"
|
|
|
COMMENT="$(git log --pretty=format:"%s" --date=iso --abbrev=10 --all -1)"
|
|
|
|
|
|
-git fetch origin coverity_scan
|
|
|
git clone --depth=5 -b gh-pages https://$GITAUTH@github.com/acplt/open62541-www
|
|
|
cd open62541-www
|
|
|
#hanndle releases
|
|
@@ -46,10 +45,6 @@ head "-$TAGSTOSAVE" raw.txt > temp && mv temp raw.txt
|
|
|
fi
|
|
|
cd ..
|
|
|
|
|
|
-#handle doc
|
|
|
-git rm -r -f doc
|
|
|
-cp -r ../doc ./
|
|
|
-git add -A doc/*
|
|
|
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
|