diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2021-08-05 15:21:52 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume.gomez@huawei.com> | 2021-08-05 21:13:47 +0200 |
| commit | c15bc2e38380d570ed8a86253c5208d7fc0f6aea (patch) | |
| tree | 43305a3ab9fc38b785eae5f0351dd2a34541d423 /src/ci/docker | |
| parent | 71ff9b41e9ebd3e336019513917a7a8868d1cc66 (diff) | |
| download | rust-c15bc2e38380d570ed8a86253c5208d7fc0f6aea.tar.gz rust-c15bc2e38380d570ed8a86253c5208d7fc0f6aea.zip | |
Remove git fetch command call
Diffstat (limited to 'src/ci/docker')
| -rwxr-xr-x | src/ci/docker/run.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index 489c3d76601..e42b4748fdc 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -220,11 +220,13 @@ else fi if [ "$CI" != "" ]; then - # Get some needed information for $BASE_COMMIT - git fetch "https://github.com/$GITHUB_REPOSITORY" "$GITHUB_BASE_REF" - BASE_COMMIT="$(git merge-base FETCH_HEAD HEAD)" + # Get some needed information for $BASE_COMMIT + # + # This command gets the last merge commit which we'll use as base to list + # deleted files since then. + BASE_COMMIT="$(git log --author=bors@rust-lang.org -n 2 --pretty=format:%H | tail -n 1)" else - BASE_COMMIT="" + BASE_COMMIT="" fi docker \ |