Dominik Fuchß
Dominik Fuchß
### Is your feature request related to a problem? JPlag will release a Version 4.0 in the future. They especially .. * created a new [UI](https://jplag.github.io/JPlag/) that shows a good...
### Describe the bug Sometimes students repositories cannot be fetched from artemis. ``` 2022-07-26 12:32:36.928 ERROR 1 --- [o-8080-exec-122] o.z.problem.spring.common.AdviceTraits : Internal Server Error org.eclipse.jgit.api.errors.TransportException: Nothing to fetch. at org.eclipse.jgit.api.FetchCommand.call(FetchCommand.java:224)...
### Is your feature request related to a problem? In #5361 a translation mechanism has been introduced for the about page of artemis. We've adopted the about us json to...
This PR resolves two issues: ## Dynamic Loading of Language Frontends In order to use new language frontends in JPlag easily, this PR creates introduces the ServiceLoader API to JPlag...
I've created a short draft of a new layout for language frontends. TODOs: - [x] Move of modules - [ ] Rename from `frontend` to `XYZ` Feel free to modify...
This PR converts the JPlag Options to a record including a builder pattern (`withX` methods). Resolves parts of #274
TODOs: - [x] Convert Wiki - [ ] Decide for Location of Documentation (URL) - [ ] Activate Deployment Current Version is Deployed to https://dfuchss.github.io/JPlag-PR-470/index.html#
Just for documentation .. Recently I've observed a (at least for me) strange behavior of the Java Compiler "ToolProvider.getSystemJavaCompiler()". * If I try to compile a not-compilable java file in...
Spotless is able to create License header with date based on commits. We may think about adding this in the future.
### Checklist #### General - [ ] This is a small issue that I tested locally and was confirmed by another developer on a test server. - [x] Language: I...