From fce5f5716e4d2133cf2bf73a4ea87d54c5d9e021 Mon Sep 17 00:00:00 2001 From: Andrew Coulton Date: Mon, 9 Dec 2024 15:06:33 +0000 Subject: [PATCH] Fix git ownership error when building repo --- builder/build-package-repo.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/builder/build-package-repo.sh b/builder/build-package-repo.sh index 1a12d5d..ab25198 100755 --- a/builder/build-package-repo.sh +++ b/builder/build-package-repo.sh @@ -8,6 +8,10 @@ echo "{\"github-oauth\": {\"github.com\": \"$GITHUB_TOKEN\"}}" > $COMPOSER_HOME export COMPOSER_CACHE_DIR="$GITHUB_WORKSPACE/$CACHE_DIR" +echo "Marking workspace safe for git" +# Because this is a docker mount and the ownership in and outside is different +git config --global --add safe.directory "$GITHUB_WORKSPACE" + echo "Compiling satis.json from dynamic package sources" "/repo-builder/vendor/bin/satisfy" \ --repofile "$GITHUB_WORKSPACE/satis-explicit-packages.json" \