Labels

• auto-extend-activation-time
• dependencies

  Pull requests that update a dependency file
• do-not-merge
• duplicate

  This issue or pull request already exists
• github_actions

  Pull requests that update GitHub Actions code
• greenkeeper
• has conflicts
• help wanted

  Extra attention is needed
• is blocked

  The PR can not be merged because of reasons specified in the PR
• javascript

  Pull requests that update javascript code
• question

  Further information is requested
• ready-for-ci
• size/L
• size/M
• size/S
• size/XL
• size/XS
• size/XXL
• UX Review needed
• waiting

  Waiting for external input
• waiting for review

  Someone should review this ASAP
• WIP

  someone is working on that
• wontfix

  This will not be worked on