Labels

• bug

  bug

  An existing feature is not working according to specification

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  Improving or extending an existing feature

• feature

  feature

  New functionality to be added

• infrastructure

  infrastructure

  Enhancements to the CI infrastructure

• 🔥 HOT 🔥

  🔥 HOT 🔥

  This is very important