3 Commits

Author	SHA1	Message	Date
Dan Fandrich	ffe3e3c4e1	CI: Work around a labeler bug that removes labels	2023-01-28 19:48:02 -08:00
Dan Fandrich	de8cc2108a	CI: Switch the labeler event to pull_request_target ... Otherwise, the action won't work on PRs from forked repositories (#10326).	2023-01-25 10:43:47 -08:00
Dan Fandrich	3eabedc027	CI: Add a workflow to automatically label pull requests ... The labeler language is quite restrictive right now so labels are added quite conservatively, meaning that many PRs won't get labels when it's "obvious" they should. It will still save some manual work on those that it can label.	2023-01-23 18:18:00 -08:00