Skip to content
Snippets Groups Projects
Commit ab4c5221 authored by Tim Repke's avatar Tim Repke
Browse files

Merge branch 'master' into 'production'

make ci more robust

See merge request !39
parents 1d468ad5 721185a3
No related branches found
No related tags found
1 merge request!39make ci more robust
Pipeline #1410 passed
...@@ -65,7 +65,7 @@ deploy-to-production: ...@@ -65,7 +65,7 @@ deploy-to-production:
- groups - groups
- echo $HOME - echo $HOME
- echo "Reset git config" - echo "Reset git config"
- rm /home/gitlab-runner/.gitconfig - rm -f /home/gitlab-runner/.gitconfig
- git config --global url."https://gitlab.pik-potsdam.de/".insteadOf "ssh://git@gitlab.pik-potsdam.de/" - git config --global url."https://gitlab.pik-potsdam.de/".insteadOf "ssh://git@gitlab.pik-potsdam.de/"
- git config --global user.name gitlab-runner - git config --global user.name gitlab-runner
- git config --global user.email gitlab-runner@gitlab.pik-potsdam.de - git config --global user.email gitlab-runner@gitlab.pik-potsdam.de
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment