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 /include/errors.h | |
| 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>
Diffstat (limited to 'include/errors.h')
0 files changed, 0 insertions, 0 deletions