Edirom / Edirom-Online

Edirom Online is a tool for presenting historical-critical music editions in digital form.
GNU General Public License v3.0
19 stars 18 forks source link

Cleanup labels #378

Closed daniel-jettka closed 1 month ago

daniel-jettka commented 1 month ago

Current labels and number of open/closed issues:

image

daniel-jettka commented 1 month ago

Deletion candidates:

daniel-jettka commented 1 month ago

Concept for labels:

bwbohl commented 1 month ago

I always think, GitHub makes it a bit complicated to structure labels because they are used both, for issues and pull requests. For example (at least from my point of view) a "bug report" should be a label for an issue, while "bugfix" should be a label for pull requests.

bwbohl commented 1 month ago

@daniel-jettka what do you mean with cleaning-up a "duplicate"?

bwbohl commented 1 month ago

I did the following cleanups:

bwbohl commented 1 month ago

I think for now we can live withe the current labels. Future work will show how they are being used and whether some of them would better be managed with custom fields in the project or with prefixes in the issue or pull request title.