# 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"' # 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