2 commits

Author	SHA1	Message	Date
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
Michael Rose	dcdbba835c	Change GitHub issue templates	2018-09-28 20:45:34 -04:00