From: Ed Warnicke <hagbard@gmail.com>
Date: Fri, 18 Mar 2022 17:26:04 +0000 (-0500)
Subject: misc: Auto close PRs to GitHub mirror
X-Git-Tag: v22.10-rc0~256
X-Git-Url: https://gerrit.fd.io/r/gitweb?a=commitdiff_plain;h=1aa6afb3cf160b03bd7a5a58f8c0291431efa7cb;p=vpp.git

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
---

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"