Labels

• bug

  Something isn't working
• code quality

  The quality of the source code needs to be improved [no change of functionality]
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• 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
• invalid

  This doesn't seem right
• java

  Pull requests that update Java code
• Mend: configuration error

  Mend configuration error
• Mend: dependency security vulnerability

  Security vulnerability detected by Mend
• on hold

  This issue has a lower priority than all other issues, needs to be requested explicitly
• PRIO

  This issue has high priority
• problematic

  Not directly a verifiable bug but not good either (bad smell alike) [change in functionality]
• question

  Further information is requested
• security

  Related to security problems
• security fix

  Security fix generated by Mend
• structural-tests

  Components related to de.tum.in.test.api.structural
• waiting

  waiting for contributor
• wontfix

  This will not be worked on