Labels

• Arrhenius
• blocker
• bug
• clean up
• critical

  Highest priority: This has to be done first.
• dependencies
• docker

  Pull requests that update Docker code
• documentation
• enhancement

  General enhancement which is neither bug nor feature
• experiment
• feature
• github_actions

  Pull requests that update GitHub Actions code
• go

  Pull requests that update Go code
• good first issue
• high
• Lorentz

  projectname
• low
• Michelson

  Projectname
• needs discussion
• needs info
• needs investigation

  The cause for a bug is not clear enough, so it has to be investigated for some time
• performance
• picked-to-staging
• projector
• staging
• staging-port
• tests
• waiting

  Waiting for some other PR/feature; more details in comments