Closed fwcd closed 10 months ago
This adds an auto-labeler for many of our labels to quickly categorize PRs.
Fixes #520
This adds an auto-labeler for many of our labels to quickly categorize PRs.