Labels

• dependencies

  Pull requests that update a dependency file
• enhancement

  New feature or request
• github_actions

  Pull requests that update Github_actions code
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• java

  Pull requests that update Java code
• ✖️ wontfix

  This will not be worked on
• ❌ not reproducable

  The issue is not reproducable
• 🌓 dark theme

  Issues affecting the dark theme
• 🎨 branding

  Issues affecting the branding mechanism
• 🐞 bug

  Something isn't working
• 👪 coding session

  Should be solved in pair programming because it affects many parts of the app
• 💬 discussion

  We have no strong opinion for this topic or want to get some feedback from other contributors
• 📱 UI / UX
• 🔐 single-sign-on

  Bugs or enhancements which depend on the single-sign-on
• 🔧 chore

  A technical issue or refactoring which is not directly related to user visible features
• 🖥 server

  This issue depends on changes on the REST-API
• 🚫 blocked