misc: Auto close PRs to GitHub mirror 16/35716/1
authorEd Warnicke <[email protected]>
Fri, 18 Mar 2022 17:26:04 +0000 (12:26 -0500)
committerEd Warnicke <[email protected]>
Fri, 18 Mar 2022 17:26:04 +0000 (12:26 -0500)
commit1aa6afb3cf160b03bd7a5a58f8c0291431efa7cb
tree87142a9773d2982bc50ae1319e011a0756761932
parent66d4cb5a217d556aa7bd2471f02a39badb6d5cd2
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 <[email protected]>
Change-Id: I3c4a2590d4e38edd1061e65e800cfdb124c43866
.github/workflows/close_prs.yml [new file with mode: 0644]