Merge pull request #242 from razeware/development

v2.4.2: 🪰 in the ointment
razeware · Jan 31, 2024 · 958e22d · 958e22d
2 parents 40d4868 + bf1fb3d
commit 958e22d
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