Details
-
Improvement
-
Status: Resolved
-
Minor
-
Resolution: Fixed
-
None
Description
Auto-label PRs on github so that we do not have to label them ourselves.
The decision should be based on the code that changed, and not only on the title.
Attachments
Issue Links
- links to