diff options
author | Jean-François Milants <jf@codingfield.com> | 2022-05-15 11:05:10 +0200 |
---|---|---|
committer | JF <JF002@users.noreply.github.com> | 2022-05-26 11:35:25 +0200 |
commit | 123c801f173771afcebe5febc037f9ef2b12484e (patch) | |
tree | 14849570187e053f96d5237f7fdb3fdb1175fe6f /.github | |
parent | 831f93cd92e91a974f03cf0a739982103246e275 (diff) |
Add comment about the workaround that was needed in the github workflow.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/main.yml | 4 |
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 |