Labels

• accessibility
• Arrhenius
• Becquerel

  projectname
• blocker
• Bohr
• bug
• clean up
• critical

  Highest priority: This has to be done first.
• Curie
• delete test instance
• dependencies
• desktop

  size > 960px
• dev-meeting
• docker

  Pull requests that update Docker code
• documentation
• Dunant
• enhancement

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

  Pull requests that update GitHub Actions code
• good first issue
• Hertz
• high
• Hofstadter
• javascript

  Pull requests that update Javascript code
• Lippmann
• Lorentz

  projectname
• los-extension
• low
• makefile
• Michelson

  projectname