mirror of
https://github.com/neovim/neovim.git
synced 2024-12-29 14:41:06 -07:00
73ddb6daf9
We seem to need the parent commit of the earliest PR commit in order to perform common git functionality to check which files were changed.
31 lines
1.1 KiB
YAML
31 lines
1.1 KiB
YAML
name: "news.txt check"
|
|
on:
|
|
pull_request:
|
|
branches:
|
|
- 'master'
|
|
jobs:
|
|
check:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
fetch-depth: 0
|
|
- name: news.txt needs to be updated
|
|
run: |
|
|
for commit in $(git rev-list HEAD~${{ github.event.pull_request.commits }}..HEAD); do
|
|
message=$(git log -n1 --pretty=format:%s $commit)
|
|
type="$(echo "$message" | sed -E 's|([[:alpha:]]+)(\(.*\))?!?:.*|\1|')"
|
|
breaking="$(echo "$message" | sed -E 's|[[:alpha:]]+(\(.*\))?!:.*|breaking-change|')"
|
|
if [[ "$type" == "feat" ]] || [[ "$breaking" == "breaking-change" ]]; then
|
|
! git diff HEAD~${{ github.event.pull_request.commits }}..HEAD --quiet runtime/doc/news.txt ||
|
|
{
|
|
echo "
|
|
Pull request includes a new feature or a breaking change, but
|
|
news.txt hasn't been updated yet. news.txt is our primary way of
|
|
communicating changes to users so it's important to keep it up to
|
|
date."
|
|
exit 1
|
|
}
|
|
fi
|
|
done
|