correctly push to origin
This commit is contained in:
parent
937a9e4ec0
commit
e7ebd57c51
1 changed files with 3 additions and 2 deletions
|
@ -3,9 +3,10 @@ export COMMIT_MSG=$(python3 print_deploy_message.py)
|
||||||
cd ..
|
cd ..
|
||||||
make ci-build
|
make ci-build
|
||||||
cd build
|
cd build
|
||||||
zip -r LatexPackages.zip LatexPackagesBuild -x LatexPackagesBuild.git
|
zip -r LatexPackages.zip LatexPackagesBuild -x LatexPackagesBuild/.git/
|
||||||
tree -H '.' -I "index.html" -D --charset utf-8 -T "LatexPackages" > index.html
|
tree -H '.' -I "index.html" -D --charset utf-8 -T "LatexPackages" > index.html
|
||||||
cd LatexPackagesBuild
|
cd LatexPackagesBuild
|
||||||
git add .
|
git add .
|
||||||
git commit -m ${COMMIT_MSG} || echo "Nothing new to commit"
|
git commit -m ${COMMIT_MSG} || echo "Nothing new to commit"
|
||||||
git push
|
git push --set-upstream origin ${CI_COMMIT_REF_NAME}-build
|
||||||
|
|
||||||
|
|
Loading…
Add table
Reference in a new issue