Add comment about the workaround that was needed in the github workflow.

This commit is contained in:
Jean-François Milants 2022-05-15 11:05:10 +02:00 committed by JF
parent 831f93cd92
commit 123c801f17

View File

@ -24,6 +24,10 @@ jobs:
container: container:
image: jf002/infinitime-build image: jf002/infinitime-build
steps: 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 - name: Workaround permission issues
run: git config --global --add safe.directory "$GITHUB_WORKSPACE" run: git config --global --add safe.directory "$GITHUB_WORKSPACE"
- name: Checkout source files - name: Checkout source files