Labels

• Arrhenius

  projectname
• blocker
• bug
• clean up
• critical

  Highest priority: This has to be done first.
• Curie
• dependencies
• documentation
• enhancement

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

  Pull requests that update GitHub Actions code
• good first issue
• Hertz
• high
• low
• Michelson
• needs discussion
• needs info
• needs investigation

  The cause for a bug is not clear enough, so it has to be investigated for some time
• Onnes
• performance
• python

  Pull requests that update Python code
• staging
• staging-port
• tests
• waiting

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