Skip to content

Labels

Labels

  • api

    API-relevant changes
  • 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!
  • java

    Pull requests that update java code
  • 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