fix: setting Git user/email address

sdsc-ordes · Jul 5, 2024 · 37107ee · 37107ee
1 parent 6d5e553
commit 37107ee
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/tools/ci/before-script.sh b/tools/ci/before-script.sh
@@ -14,4 +14,6 @@ ROOT_DIR=$(git rev-parse --show-toplevel)
 print_info "Current dir: '$(pwd)'"
 print_info "Running as user: $(id)"
 
+ci_setup_git
+
 unset ROOT_DIR
diff --git a/tools/general.sh b/tools/general.sh
@@ -61,6 +61,11 @@ function ci_is_release() {
     return 1
 }
 
+function ci_setup_git() {
+    git config --global user.name "SDSC CI"
+    git config --global user.email "[email protected]"
+}
+
 function ci_setup_nix() {
     local install_prefix="${1:-/usr/sbin}"