aboutsummaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorEd Warnicke <hagbard@gmail.com>2022-03-18 12:26:04 -0500
committerEd Warnicke <hagbard@gmail.com>2022-03-18 12:26:04 -0500
commit1aa6afb3cf160b03bd7a5a58f8c0291431efa7cb (patch)
tree87142a9773d2982bc50ae1319e011a0756761932 /.github
parent66d4cb5a217d556aa7bd2471f02a39badb6d5cd2 (diff)
misc: Auto close PRs to GitHub mirror
Introduce a GitHub Action to auto close PRs submitted via GitHub Will add a helpful comment to point folks towards gerrit. Type: feature Signed-off-by: Ed Warnicke <hagbard@gmail.com> Change-Id: I3c4a2590d4e38edd1061e65e800cfdb124c43866
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/close_prs.yml21
1 files changed, 21 insertions, 0 deletions
diff --git a/.github/workflows/close_prs.yml b/.github/workflows/close_prs.yml
new file mode 100644
index 00000000000..f8abc37f029
--- /dev/null
+++ b/.github/workflows/close_prs.yml
@@ -0,0 +1,21 @@
+---
+name: Close Pull Request
+
+on:
+ pull_request_target:
+ types: [opened]
+
+jobs:
+ run:
+ runs-on: ubuntu-latest
+ steps:
+ - uses: superbrothers/close-pull-request@v3
+ with:
+ # Optional. Post a issue comment just before closing a pull request.
+ comment: "Thank you so much for your interest! VPP takes patches at https://gerrit.fd.io/
+
+```
+git clone https://gerrit.fd.io/r/vpp
+```
+
+Using [git review](https://www.mediawiki.org/wiki/Gerrit/git-review) to contribute patches is recommended"