Labels

• CI

  GitHub actions
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• help wanted

  Extra attention is needed
• jhbuild

  Issues with bundled jhbuild or it's moduleset
• wkdev image

  Relating to the contents of the image and the Containerfile
• wkdev scripts

  Issues with scripts provided