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
This commit is contained in:
parent
66d4cb5a21
commit
1aa6afb3cf
21
.github/workflows/close_prs.yml
vendored
Normal file
21
.github/workflows/close_prs.yml
vendored
Normal file
@ -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"
|
Loading…
x
Reference in New Issue
Block a user