Labels

• tags/priority/highest

  Relates to a highest-priority issue.
• type/bug

  A bug fix (when a pull request) or report (when an issue).
• type/enhancement

  A feature implementation (when a pull request) or request (when an issue).
• type/infrastructure

  A test fix or infrastructure improvement (when a pull request) or request (when an issue).