Open florian-jaeger opened 3 months ago
Is your feature request related to a problem? Please describe. Currently students can push any file to their submission/user repo.
Describe the solution you'd like We want to implement an allowlist using a gitignore file, which instructors can edit.
Is your feature request related to a problem? Please describe. Currently students can push any file to their submission/user repo.
Describe the solution you'd like We want to implement an allowlist using a gitignore file, which instructors can edit.