Skip to content
Snippets Groups Projects
Verified Commit 80137789 authored by Gabriel Zachmann's avatar Gabriel Zachmann
Browse files

[ci] debug

parent 90a9d609
No related branches found
No related tags found
No related merge requests found
Pipeline #323165 passed
......@@ -22,11 +22,7 @@ while [ $# -gt 0 ]; do
esac
done
git config user.email
echo "CI: $CI"
[ "x${CI}" = "xtrue" ] && {
git config user.email || {
echo "Setting up git in CI"
git config --global --add safe.directory "$PWD"
git config user.email "ci@repo.data.kit.edu"
......
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