• 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# See https://goessner.net/articles/JsonPath/
5# `true` will close all PRs.
6filters:
7  - true
8
9# The message to post to the closed PR.
10commentBody: |
11  Thanks for your contribution!  Unfortunately, we don't use GitHub pull
12  requests to manage code contributions to this repository.  Instead, please
13  see [README.md](../blob/master/README.md) which provides full instructions
14  on how to get involved.
15
16# Whether to add a label to the closed PR.
17addLabel: false
18