Labels

• accessibility
• bug
• dependencies

  Pull requests that update a dependency file
• docker

  Pull requests that update Docker code
• duplicate
• enhancement
• help wanted
• invalid
• javascript

  Pull requests that update Javascript code
• oauth
• plugin
• priority
• question
• security

  Security relevant improvements
• tour

  Issues related to the guided tour
• tutorial

  Issues related to the KorAP user tutorial https://korap.ids-mannheim.de/doc/korap
• ui design
• wontfix