chore: remove bors mentions

This commit is contained in:
Weihang Lo 2024-11-20 11:58:39 -05:00
parent 3c86183881
commit c618f450a2
No known key found for this signature in database
GPG Key ID: D7DBF189825E82E7

View File

@ -11,7 +11,7 @@
set -euo pipefail
# When `BASE_SHA` is missing, we assume it is from bors merge commit,
# When `BASE_SHA` is missing, we assume it is from GitHub merge queue merge commit,
# so hope `HEAD~` to find the previous commit on master branch.
base_sha=$(git rev-parse "${BASE_SHA:-HEAD~1}")
head_sha=$(git rev-parse "${HEAD_SHA:-HEAD}")