Labels

• bug

  Something isn't working
• chore

  General maintenance that's necessary, but not usually worth mentioning or discussing.
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• platform-android

  This issue or pull request is about the Android frontend
• platform-backend

  This issue or pull request is about the backend or the infra
• platform-common

  This issue or pull request is about some shared logic
• refactoring
• wontfix

  This will not be worked on