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 |