Use login instead of name in verify workflow

This commit is contained in:
Héctor Ramón Jiménez 2023-07-26 02:19:44 +02:00
parent 269e5410da
commit d9faf4c980
No known key found for this signature in database
GPG key ID: 140CC052C94F138E

View file

@ -14,6 +14,6 @@ jobs:
run: |
! git diff --exit-code master HEAD CHANGELOG.md
- name: Check `CHANGELOG.md` has PR author
if: ${{ github.event.pull_request.user.name != 'hecrj' }}
if: ${{ github.event.pull_request.user.login != 'hecrj' }}
run: |
sed -n '/## \[Unreleased\]/,/^## /p' CHANGELOG.md | sed -n '/Many thanks to.../,//p' | grep '@${{ github.event.pull_request.user.name }}'
sed -n '/## \[Unreleased\]/,/^## /p' CHANGELOG.md | sed -n '/Many thanks to.../,//p' | grep '@${{ github.event.pull_request.user.login }}'