We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 0684748 + c15bc2e commit defc49aCopy full SHA for defc49a
src/ci/docker/run.sh
@@ -220,11 +220,13 @@ else
220
fi
221
222
if [ "$CI" != "" ]; then
223
- # Get some needed information for $BASE_COMMIT
224
- git fetch "https://github.com/$GITHUB_REPOSITORY" "$GITHUB_BASE_REF"
225
- 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
226
+ # deleted files since then.
227
+ BASE_COMMIT="$(git log --author=bors@rust-lang.org -n 2 --pretty=format:%H | tail -n 1)"
228
else
- BASE_COMMIT=""
229
+ BASE_COMMIT=""
230
231
232
docker \
0 commit comments