tools/git-repo.git/.github/workflows/close-pull-request.yml, branch v2.53Mirror of gerrit.googlesource.com/git-repohttps://git.enea.com/cgit/tools/git-repo.git/atom?h=v2.532023-09-13T18:42:18+00:00github: add PR closer2023-09-13T18:42:18+00:00Mike Frysingervapier@google.com2023-09-13T18:12:02+00:00urn:sha1:c3d7c8536c408a54c7af1486f0beec7a1b0eb0ad
We don't accept PRs via GH, so add a job to automatically close them
with an explanation for how to submit.
Change-Id: I5cc3176549a04ff23b04dae1110cd27a58ba1fd3
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/386134
Tested-by: Mike Frysinger <vapier@google.com>
Commit-Queue: Mike Frysinger <vapier@google.com>
Reviewed-by: Gavin Mak <gavinmak@google.com>