Labels

• app

  Has an isolated focus on some app functionality.
• asset

  In the pipeline to have its generated asset.
• column

  Focused on a specific piece of column functionality.
• critical

  Very important to get this taken care of as soon as possible.
• dependencies

  Pull requests that update a dependency file
• devops
• documentation

  Improvements or additions to documentation
• dont_merge

  This pull request will be merged in the future, but is not ready now.
• duplicate

  This issue or pull request already exists
• future

  We will tackle this when it's more relevant to our current focus.
• github_actions

  Pull requests that update GitHub Actions code
• go

  Pull requests that update Go code
• integration
• javascript

  Pull requests that update Javascript code
• marketing

  Marketing artifacts and media needs.
• mobile

  Something limited to the mobile version of the console needs addressing.
• polish

  We could live without this but we really should fix
• protocol

  Has an isolated focus on some protocol functionality.
• question

  Further information is requested
• solver

  Has an isolated focus on some solver functionality.
• wont_fix

  Acknowledged, but not prioritized or planned.