This change takes the simplified approach of only filtering for branch name to see if a CI skip is permitted.
If branch name starts with "doc-" then CI is not required and can branch can be merged, while if branch starts with "junk-" then it will always fail CI, thereby preventing merge.
Related Issue
resolves #632
Motivation and Context
A PR was recently able to be merged without running tests. This prevents that.
How Has This Been Tested?
Has not been tested, but removes code and follows CircleCI documentation regarding filtering on branches.
Types of changes
[x] Bug fix (non-breaking change which fixes an issue)
[ ] New feature (non-breaking change which adds functionality)
[ ] Breaking change (fix or feature that would cause existing functionality to change)
Checklist:
[x] My code follows the code style of this project.
[ ] My change requires a change to the documentation.
Description
This change takes the simplified approach of only filtering for branch name to see if a CI skip is permitted.
If branch name starts with "doc-" then CI is not required and can branch can be merged, while if branch starts with "junk-" then it will always fail CI, thereby preventing merge.
Related Issue
resolves #632
Motivation and Context
A PR was recently able to be merged without running tests. This prevents that.
How Has This Been Tested?
Has not been tested, but removes code and follows CircleCI documentation regarding filtering on branches.
Types of changes
Checklist: