Commit Graph

4 Commits

Author SHA1 Message Date
a3e2b33c5e Additionally label "spam" for spam PRs 2024-09-26 13:27:12 +08:00
a179735103 GitHub Workflows security hardening (#3884)
Signed-off-by: sashashura <93376818+sashashura@users.noreply.github.com>
2024-04-23 13:20:47 +08:00
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
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