1# `true` will close all PRs. 2filters: 3 - true 4 5# The message to post to the closed PR. 6commentBody: | 7 Thanks for your contribution! Unfortunately, we don't use GitHub pull 8 requests to manage code contributions to this repository. Instead, please 9 see https://v8.dev/docs/contribute which provides full instructions on 10 how to get involved. 11 12# Whether to add a label to the closed PR. 13addLabel: false 14