From bf6a80f34c17cad8f648c1305fe774d64f149b52 Mon Sep 17 00:00:00 2001 From: Sathya Gunasekaran Date: Fri, 8 Jan 2021 10:25:27 +0000 Subject: [PATCH] [github] Close PRs created on the V8 GitHub mirror automatically As per https://v8.dev/docs/contribute: Code contributions to v8 are done through Gerrit, not using GitHub pull requests. Unfortunately not a lot of people seem to read this and end up opening PRs on the github v8 mirror which then needs to be closed manually: https://github.com/v8/v8/pulls?q=is%3Apr+is%3Aclosed Rather than manually closing these PRs, once we add this config, we can make the google GitHub bot automatically do this. See: https://opensource.google/docs/github/disable-features/#close Bug: v8:11301 Change-Id: I2b55f60cb095bd4d3e26e5a096dac2c1c886ba31 Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2617080 Reviewed-by: Hannes Payer Commit-Queue: Sathya Gunasekaran Cr-Commit-Position: refs/heads/master@{#72032} --- .github/mistaken-pull-closer.yml | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 .github/mistaken-pull-closer.yml diff --git a/.github/mistaken-pull-closer.yml b/.github/mistaken-pull-closer.yml new file mode 100644 index 0000000000..b78f1f6bfc --- /dev/null +++ b/.github/mistaken-pull-closer.yml @@ -0,0 +1,13 @@ +# `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