Labels

• dependencies

  Pull requests that update a dependency file
• Team-Aqua

  Team Aqua is actively working on this, or has it in the backlog
• Team-Magma

  Team Magma is actively working on this, or has it in the backlog
• Team-Ops

  Ops are actively working on this, or has it in the backlog
• type:bug

  work to correct a problem that we created unintentionally
• type:maintenance
• type:rfc

  Request For Comments, for stuff that needs further input or discussion from team members