From 1aa6afb3cf160b03bd7a5a58f8c0291431efa7cb Mon Sep 17 00:00:00 2001 From: Ed Warnicke Date: Fri, 18 Mar 2022 12:26:04 -0500 Subject: 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 Change-Id: I3c4a2590d4e38edd1061e65e800cfdb124c43866 --- .github/workflows/close_prs.yml | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 .github/workflows/close_prs.yml (limited to '.github/workflows') 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" -- cgit 1.2.3-korg