diff options
author | Laurent Bonnans <laurent.bonnans@here.com> | 2020-02-12 16:48:17 +0100 |
---|---|---|
committer | Laurent Bonnans <laurent.bonnans@here.com> | 2020-02-12 16:48:17 +0100 |
commit | 177975cf270f67d6db5fd0516edf775a4382b29b (patch) | |
tree | ce1ff0b023c3741179cccd3343fce1cba96054dc /scripts | |
parent | 9ac941e5536bbaf30436826983fca579c2df2ef5 (diff) | |
download | meta-updater-fix/git-repo-id.tar.gz |
Manually set a git identity in CIfix/git-repo-id
repo cannot do without right now
Signed-off-by: Laurent Bonnans <laurent.bonnans@here.com>
Diffstat (limited to 'scripts')
-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 |