commit d89290b453fc29fa288bca0a9e69fd219931ab1c
parent f601c4b1ca9051c5ffa6a7543e0851ae86127041
Author: dundargoc <33953936+dundargoc@users.noreply.github.com>
Date: Sat, 7 Jan 2023 16:51:52 +0100
ci(news): checkout to HEAD commit instead of merge commit (#21679)
The default merge branch is unreliable when trying to determine number
of commits in a PR. Using the HEAD branch of the PR removes this
ambiguity.
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/.github/workflows/news.yml b/.github/workflows/news.yml
@@ -10,6 +10,7 @@ jobs:
- uses: actions/checkout@v3
with:
fetch-depth: 0
+ ref: ${{ github.event.pull_request.head.sha }}
- name: news.txt needs to be updated
run: |
for commit in $(git rev-list HEAD~${{ github.event.pull_request.commits }}..HEAD); do