From 5467393a3d1e7ab929fd01d79971701bf4e2c2c6 Mon Sep 17 00:00:00 2001 From: Mike Frysinger Date: Thu, 6 Dec 2018 20:08:35 -0500 Subject: support mistaken-pull-closer for automatically clearing incoming PRs Change-Id: I2f69a8152958bc1425efe569bace1b6f9702896d Reviewed-on: https://chromium-review.googlesource.com/c/1366918 Reviewed-by: Mark Mentovai --- .github/mistaken-pull-closer.yml | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 .github/mistaken-pull-closer.yml (limited to '.github') diff --git a/.github/mistaken-pull-closer.yml b/.github/mistaken-pull-closer.yml new file mode 100644 index 00000000..13c8d1b3 --- /dev/null +++ b/.github/mistaken-pull-closer.yml @@ -0,0 +1,17 @@ +# 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 http://goessner.net/articles/JsonPath/ +# `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 [README.md](../blob/master/README.md) which provides full instructions + on how to get involved. + +# Whether to add a label to the closed PR. +addLabel: false -- cgit v1.2.1