diff options
| author | Peter Jones <pjones@redhat.com> | 2024-08-02 17:02:26 -0400 |
|---|---|---|
| committer | Peter Jones <pjones@redhat.com> | 2024-12-13 16:04:20 -0500 |
| commit | 1d8365f44e551d65e5483a66b0edf2070ce639fb (patch) | |
| tree | f0e8b38cacfed768a9e6faa8a3e315ef5245f3dc | |
| parent | b5d359a1811eaed631f0cf5b97b55ab0154c88b9 (diff) | |
| download | efi-boot-shim-1d8365f44e551d65e5483a66b0edf2070ce639fb.tar.gz efi-boot-shim-1d8365f44e551d65e5483a66b0edf2070ce639fb.zip | |
CI: work around ownership issue on github
"make update" with newer distros is giving us:
fatal: detected dubious ownership in repository at '/__w/shim/shim'
To add an exception for this directory, call:
git config --global --add safe.directory /__w/shim/shim
So that's exactly what I'm trying.
Signed-off-by: Peter Jones <pjones@redhat.com>
| -rw-r--r-- | .github/workflows/pullrequest.yml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.github/workflows/pullrequest.yml b/.github/workflows/pullrequest.yml index 4c27c127..6c41f046 100644 --- a/.github/workflows/pullrequest.yml +++ b/.github/workflows/pullrequest.yml @@ -82,6 +82,10 @@ jobs: ref: ${{ github.event.pull_request.head.sha }} fetch-depth: 0 submodules: recursive + - name: Work around directory ownership issue + id: ignore-ownership + run: | + git config --global --add safe.directory /__w/shim/shim - name: Update submodules on ${{ matrix.distro }} for ${{ matrix.efiarch }} id: update-submodules run: | @@ -160,6 +164,10 @@ jobs: ref: ${{ github.event.pull_request.head.sha }} fetch-depth: 0 submodules: recursive + - name: Work around directory ownership issue + id: ignore-ownership + run: | + git config --global --add safe.directory /__w/shim/shim - name: Update submodules on ${{ matrix.distro }} for ${{ matrix.efiarch }} id: update-submodules run: | |