2 commits

Author	SHA1	Message	Date
iBug	8a67ce8e41	Improve PR close auto-comment message (#3713) ... * Improve auto-comment message * Lock these PRs after closing	2022-07-08 11:38:44 -04:00
iBug	ad1e06633c	Automatically close invalid PRs using GitHub Actions (#3313) ... * Try auto-closing bad PRs * Include empty PR body as well * Add "Type: Invalid" label as well	2022-01-10 07:59:04 -05:00