diff options
| author | Mike Frysinger <vapier@chromium.org> | 2018-12-06 20:08:35 -0500 |
|---|---|---|
| committer | Mike Frysinger <vapier@chromium.org> | 2018-12-07 01:49:55 +0000 |
| commit | 5467393a3d1e7ab929fd01d79971701bf4e2c2c6 (patch) | |
| tree | 49f36f356194f1625482ce9debd0fe0d5aac70c6 /.github | |
| parent | Conditionally define BPLOG_LAZY_STREAM (diff) | |
| download | breakpad-5467393a3d1e7ab929fd01d79971701bf4e2c2c6.tar.xz | |
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 <mark@chromium.org>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/mistaken-pull-closer.yml | 17 |
1 files changed, 17 insertions, 0 deletions
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 |