Skip to content

Commit

Permalink
CI: work around ownership issue on github
Browse files Browse the repository at this point in the history
"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 <[email protected]>
  • Loading branch information
vathpela committed Aug 2, 2024
1 parent d75cd3a commit 7fc7177
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions .github/workflows/pullrequest.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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: |
Expand Down Expand Up @@ -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: |
Expand Down

0 comments on commit 7fc7177

Please sign in to comment.