Ed Warnicke 1aa6afb3cf

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

2022-03-18 12:26:04 -05:00

..

workflows

misc: Auto close PRs to GitHub mirror

2022-03-18 12:26:04 -05:00