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 | |
| parent | 9ac941e5536bbaf30436826983fca579c2df2ef5 (diff) | |
| download | meta-updater-177975cf270f67d6db5fd0516edf775a4382b29b.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>
| -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 |
