Remove 'added an entry to History.md' requirement for PR's (#2573)
This commit is contained in:
parent
c68e20dd4e
commit
41280fdbf9
|
@ -5,7 +5,6 @@ Please describe your pull request. Thank you for contributing! You're the best.
|
|||
<!--- Go over all the following points, and put an `x` in all the boxes that apply. -->
|
||||
<!--- If you're unsure about any of these, don't hesitate to ask. We're here to help! -->
|
||||
- [ ] I have reviewed the [guidelines for contributing](../blob/master/CONTRIBUTING.md) to this repository.
|
||||
- [ ] I have added an entry to [History.md](../blob/master/History.md) if this PR fixes a bug or adds a feature. If it doesn't need an entry to HISTORY.md, I have added `[changelog skip]` or `[ci skip]` to the pull request title.
|
||||
- [ ] I have added (or updated) appropriate tests if this PR fixes a bug or adds a feature.
|
||||
- [ ] My pull request is 100 lines added/removed or less so that it can be easily reviewed.
|
||||
- [ ] If this PR doesn't need tests (docs change), I added `[ci skip]` to the title of the PR.
|
||||
|
|
|
@ -1,18 +0,0 @@
|
|||
name: Check Changelog
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
types: [opened, reopened, edited, synchronize]
|
||||
|
||||
jobs:
|
||||
build:
|
||||
runs-on: ubuntu-latest
|
||||
if: |
|
||||
!( contains(github.event.pull_request.title, '[changelog skip]') ||
|
||||
contains(github.event.pull_request.title, '[skip changelog]'))
|
||||
|
||||
steps:
|
||||
- uses: actions/checkout@v1
|
||||
- name: Check that CHANGELOG is touched
|
||||
run: |
|
||||
git diff remotes/origin/${{ github.base_ref }} --name-only | grep History.md
|
Loading…
Reference in New Issue