You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
18 lines
726 B
18 lines
726 B
# 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: |
|
# Don't close PRs in the pubsub_dev branch. |
|
- '@.pull_request.base.ref != "pubsub_dev"' |
|
- '@.pull_request.base.ref != "diregapic"' |
|
|
|
# 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
|
|
|