Labels

• bug

  An existing feature is not working according to specification
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  Improving or extending an existing feature
• feature

  New functionality to be added
• infrastructure

  Enhancements to the CI infrastructure
• 🔥 HOT 🔥

  This is very important