• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1# The JSONPath filter expression used to identify which PRs to close.
2# The data filtered is the pull request data along with other metadata passed in
3# by probot.
4# Default behavior: Close all PRs.
5filters:
6  # Don't close PRs in the pubsub_dev branch.
7  - '@.pull_request.base.ref != "pubsub_dev"'
8  - '@.pull_request.base.ref != "diregapic"'
9
10# The message to post to the closed PR.
11commentBody: |
12  Thanks for your contribution!  Unfortunately, we don't use GitHub pull
13  requests to manage code contributions to this repository.  Instead, please
14  see [CONTRIBUTING.md](../blob/master/CONTRIBUTING.md) which provides full
15  instructions on how to get involved.
16
17# Whether to add a label to the closed PR.
18addLabel: false
19