From bf1fb3d6f9a4c1683a91aaa2fe9e7500bc978733 Mon Sep 17 00:00:00 2001 From: Sam Davies Date: Wed, 31 Jan 2024 08:36:14 +0000 Subject: [PATCH] Updating the git safe directory to include /data/src when required --- bin/robles | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/bin/robles b/bin/robles index ab1068e..03aa6d0 100755 --- 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