Closed TimL20 closed 3 years ago
The currently used GitHub labels are relatively broad. Here is a suggestion, on how these labels could be made more specific.
The introduced labels would also be useful in potential issues.
This PR is a suggestion, obviously there are many possibilities to achieve this in a different way.
The currently used GitHub labels are relatively broad. Here is a suggestion, on how these labels could be made more specific.
The introduced labels would also be useful in potential issues.
This PR is a suggestion, obviously there are many possibilities to achieve this in a different way.