| # `true` will close all PRs. | |
| filters: | |
| - 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 https://v8.dev/docs/contribute which provides full instructions on | |
| how to get involved. | |
| # Whether to add a label to the closed PR. | |
| addLabel: false |