blob: 84778e91962db0a04a85909415286a20f58e715f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
name: Verify
on:
pull_request:
branches:
- master
jobs:
changelog:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
with:
fetch-depth: 0
- name: Check `CHANGELOG.md` has changes
run: |
! git diff --exit-code master HEAD CHANGELOG.md
- name: Check `CHANGELOG.md` has PR author
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.login }}'
|
