parent
0b9fa79fa8
commit
9aaaf7a249
1 changed files with 16 additions and 0 deletions
@ -0,0 +1,16 @@ |
||||
# The JSONPath filter expression used to identify which PRs to close. |
||||
# The data filtered is the pull request data along with other metadata passed in |
||||
# by probot. |
||||
# Default behavior: Close all PRs. |
||||
filters: |
||||
- true |
||||
|
||||
# The message to post to the closed PR. |
||||
commentBody: | |
||||
Thanks for your contribution! Unfortunately, we don't use GitHub pull |
||||
requests to manage code contributions to this repository. Instead, please |
||||
see [CONTRIBUTING.md](../blob/master/CONTRIBUTING.md) which provides full |
||||
instructions on how to get involved. |
||||
|
||||
# Whether to add a label to the closed PR. |
||||
addLabel: false |
Loading…
Reference in new issue