mirror of
https://github.com/googleapis/googleapis.git
synced 2026-08-16 13:00:34 +02:00
18 lines
726 B
YAML
18 lines
726 B
YAML
# 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
|