Labels

• bug

  Issue/PR that involves a bug
• dependencies

  Pull requests that update a dependency file
• duplicate

  This has been discussed somewhere else
• enhancement

  Issue/PR that involves features, improvements and other changes
• github_actions

  Pull requests that update GitHub Actions code
• good first issue

  Good first issue for new contributors. New contributors are welcome!
• help wanted

  Feel free to give us a hand! Contributions welcome!
• javascript

  Pull requests that update Javascript code
• language

  PR / Issue deals (partly) with new and/or existing languages for JPlag
• legacy

  Issues/PRs that exist since the legacy version of JPlag
• major

  Major issue/feature/contribution/change
• minor

  Minor issue/feature/contribution/change
• PISE-SS22

  Tasks for the PISE practical course (SS22)
• PISE-WS21/22

  Tasks for the PISE practical course (WS21/22)
• question

  A question, so neither a bug nor a enhancement proposal.
• release

  PR related to a (upcoming) release
• report-viewer

  PR / Issue deals (partly) with the report viewer and thus involves web-dev technologies
• wiki

  Regards the documentation in the wiki
• wontfix