diff options
| author | Mike Frysinger <vapier@google.com> | 2023-09-13 14:12:02 -0400 |
|---|---|---|
| committer | LUCI <gerrit-scoped@luci-project-accounts.iam.gserviceaccount.com> | 2023-09-13 18:42:18 +0000 |
| commit | c3d7c8536c408a54c7af1486f0beec7a1b0eb0ad (patch) | |
| tree | 14abe5a9af88788dcf50295f6bec5ece71491bab /subcmds | |
| parent | 880c621dc641e3b27233199f6cd3a9438fdf73ab (diff) | |
| download | git-repo-c3d7c8536c408a54c7af1486f0beec7a1b0eb0ad.tar.gz | |
github: add PR closer
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>
Diffstat (limited to 'subcmds')
0 files changed, 0 insertions, 0 deletions