Commit 862ded84 authored by Lukas Riedel's avatar Lukas Riedel

ci: Fix git push command for deploy job

parent 4532768e
......@@ -149,8 +149,7 @@ deploy:code:
before_script:
- bash .deploy_prepare.sh
script:
- git remote add dune $DORIE_DUNE_SSH_REMOTE
- git push dune $CI_COMMIT_REF_NAME
- git push $DORIE_DUNE_SSH_REMOTE
environment:
name: code/$CI_COMMIT_REF_NAME
url: https://gitlab.dune-project.org/lukas.riedel/dorie
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment