blob: 13c8d1b3deba75a33a6b747dd7440c9b39e5358d [file] [log] [blame]
# 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.
# See
# `true` will close all PRs.
- true
# 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 [](../blob/master/ which provides full instructions
on how to get involved.
# Whether to add a label to the closed PR.
addLabel: false