GitHub label clean up and naming convention

Now we have migrated issues to GitHub we should look into reducing the number of labels (209) and figure out a naming convention.

3 Likes