blob: c3e7e52003b1bcb0eb3f668dff7ad7cc93e96b13 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
# 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
|
