fix push
This commit is contained in:
parent
7e76546afd
commit
3c8f825e3f
1 changed files with 1 additions and 1 deletions
|
@ -6,7 +6,7 @@ make ci-build
|
||||||
cd build/LatexPackagesBuild
|
cd build/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 remote set-url --push git@git.abstractnonsen.se:latex/latex-packages
|
git remote set-url origin --push git@git.abstractnonsen.se:latex/latex-packages
|
||||||
git push --set-upstream origin ${REF_NAME}-build
|
git push --set-upstream origin ${REF_NAME}-build
|
||||||
cd ../..
|
cd ../..
|
||||||
mkdir -p ~/texmf/tex/latex
|
mkdir -p ~/texmf/tex/latex
|
||||||
|
|
Loading…
Reference in a new issue