diff options
| -rwxr-xr-x | scripts/ci/checkout-oe.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/ci/checkout-oe.sh b/scripts/ci/checkout-oe.sh index e8a2473..ed74595 100755 --- a/scripts/ci/checkout-oe.sh +++ b/scripts/ci/checkout-oe.sh | |||
| @@ -19,6 +19,10 @@ mkdir -p updater-repo | |||
| 19 | 19 | ||
| 20 | cd updater-repo | 20 | cd updater-repo |
| 21 | 21 | ||
| 22 | # it seems like it's always required now, even if repo is only used to fetch | ||
| 23 | git config --global user.email "meta-updater-ci@example.org" | ||
| 24 | git config --global user.name "meta-updater-ci" | ||
| 25 | |||
| 22 | if [ -d .repo/manifests ]; then | 26 | if [ -d .repo/manifests ]; then |
| 23 | git -C .repo/manifests reset --hard | 27 | git -C .repo/manifests reset --hard |
| 24 | fi | 28 | fi |
