From e7ebd57c51c7bd6f89bea8770467930384e6991a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Sun, 24 Oct 2021 09:23:23 +0200
Subject: [PATCH] correctly push to origin
---
.ci/ci_build.sh | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/.ci/ci_build.sh b/.ci/ci_build.sh
index 29413a5..3336fca 100755
--- a/.ci/ci_build.sh
+++ b/.ci/ci_build.sh
@@ -3,9 +3,10 @@ export COMMIT_MSG=$(python3 print_deploy_message.py)
cd ..
make ci-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
cd LatexPackagesBuild
git add .
git commit -m ${COMMIT_MSG} || echo "Nothing new to commit"
-git push
+git push --set-upstream origin ${CI_COMMIT_REF_NAME}-build
+