Details
-
Improvement
-
Status: Resolved
-
Minor
-
Resolution: Fixed
-
None
Description
Our auto-labeller for PRs supports adding several labels to Github PRs based on the files modified in the PR. It misses a label for doc changes, though.
See .github/workflows/dev_pr/labeler.yml for the implementation.
Attachments
Issue Links
- links to