Skip to content
Snippets Groups Projects

make ci more robust

Merged make ci more robust
master into production
Merged Tim Repke requested to merge master into production
Compare
and
1 file
+ 1
− 1
Compare changes
  • Side-by-side
  • Inline
.gitlab-ci.yml
+ 1
− 1
@@ -65,7 +65,7 @@ deploy-to-production:
- groups
- echo $HOME
- 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 user.name gitlab-runner
- git config --global user.email gitlab-runner@gitlab.pik-potsdam.de