diff options
author | lbonn <lbonn@users.noreply.github.com> | 2020-02-12 17:24:38 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-12 17:24:38 +0100 |
commit | 3d5d2b924a51ef74b666a40881327c4af8dbbeaf (patch) | |
tree | ce1ff0b023c3741179cccd3343fce1cba96054dc | |
parent | 9ac941e5536bbaf30436826983fca579c2df2ef5 (diff) | |
parent | 177975cf270f67d6db5fd0516edf775a4382b29b (diff) | |
download | meta-updater-3d5d2b924a51ef74b666a40881327c4af8dbbeaf.tar.gz |
Merge pull request #683 from advancedtelematic/fix/git-repo-id
Manually set a git identity in CI
-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 |