summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorJean-François Milants <jf@codingfield.com>2022-05-15 11:05:10 +0200
committerJF <JF002@users.noreply.github.com>2022-05-26 11:35:25 +0200
commit123c801f173771afcebe5febc037f9ef2b12484e (patch)
tree14849570187e053f96d5237f7fdb3fdb1175fe6f /.github
parent831f93cd92e91a974f03cf0a739982103246e275 (diff)
Add comment about the workaround that was needed in the github workflow.
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/main.yml4
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index c043439c..269f3ebf 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -24,6 +24,10 @@ jobs:
container:
image: jf002/infinitime-build
steps:
+ # This workaround fixes the error "unsafe repository (REPO is owned by someone else)".
+ # See https://github.com/actions/checkout/issues/760 and https://github.com/actions/checkout/issues/766
+ # The fix in "actions/checkout@v2" was not sufficient as the build process also uses git (to get the current
+ # commit hash, for example).
- name: Workaround permission issues
run: git config --global --add safe.directory "$GITHUB_WORKSPACE"
- name: Checkout source files