Labels

• bug
• class available!
• documentation

  where documentation issues are written
• duplicate
• enhancement
• feature-request
• help wanted
• high priority
• invalid
• low priority
• medium priority
• QC

  issues stemming from reports; ex. ROBOT report
• question
• term-add

  requests involving adding new terms
• term-annot

  when existing term annotations require adding/modification/deletion
• term-logic

  requests involving adding or modifying term's axioms
• term-mod

  requests involving modifying or obsoleting existing terms
• term-pattern

  requests involving adding new terms via dosdp patterns
• wontfix