From 177975cf270f67d6db5fd0516edf775a4382b29b Mon Sep 17 00:00:00 2001 From: Laurent Bonnans Date: Wed, 12 Feb 2020 16:48:17 +0100 Subject: Manually set a git identity in CI repo cannot do without right now Signed-off-by: Laurent Bonnans --- scripts/ci/checkout-oe.sh | 4 ++++ 1 file changed, 4 insertions(+) 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 cd updater-repo +# it seems like it's always required now, even if repo is only used to fetch +git config --global user.email "meta-updater-ci@example.org" +git config --global user.name "meta-updater-ci" + if [ -d .repo/manifests ]; then git -C .repo/manifests reset --hard fi -- cgit v1.2.3-54-g00ecf