Updating the git safe directory to include /data/src when required

razeware · Jan 31, 2024 · bf1fb3d · bf1fb3d
1 parent c7fb8cb
commit bf1fb3d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/bin/robles b/bin/robles
@@ -7,6 +7,10 @@ require_relative '../config/application'
 if GITHUB_WORKSPACE.present?
   # Add the workspace as a safe directory to global git if we're inside a GitHub Action
   Git.global_config('safe.directory', GITHUB_WORKSPACE)
+else
+  # Add the default mounted directory as safe
+  # Note that this is used in CI for slide generation for, well, reasons
+  Git.global_config('safe.directory', '/data/src')
 end
 
 begin