Simon Peyton Jones via ghc-devs
Are you sure you got all the labels. Eg I don't see "type error messages https://gitlab.haskell.org/ghc/ghc/issues?label_name%5B%5D=type+error+messag...
Maybe that's because there is only one such ticket, #16439.
Can we have a list of all such orphaned labels, so we can get rid of them? Eg by relabelling
The set of orphan keywords is attached (orphan-keywords.json). For reference, the orphan set was computed from the set of all keywords (all-keywords.csv, from Trac report #25) and the keyword mapping used by the import script (keyword-label-mapping.json, mapping Trac keywords to a set of GitLab labels) as follows in Python: import csv import json all_keywords = set(e[0].lower() for e in csv.reader(open('all-keywords.csv'))) mapping = json.load(open('./keyword-label-mappping.json')) mapped_keywords = set(map(str.lower, mapping.keys())) orphans = set(all_keywords).difference(mapped_keywords) json.dump(list(orphans), open('orphan-keywords.json','w')) Cheers, - Ben