News
Missing log Files in the Repositories
Written on 23.04.2026 17:20 by Tobias Dick
Dear students,
We noticed that some Copilot logs were excluded from your last push because of a .gitignore rule. Please either add the .logs folder explicitly to your .gitignore (e.g. !.logs/) or remove the *.log line, then push the logs to the repository.
We are sorry for the inconvenience.
Best regards,
the seminar team