Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

API endpoint to modify submission tags #1430

Open
mikaelGusse opened this issue Dec 18, 2024 · 0 comments
Open

API endpoint to modify submission tags #1430

mikaelGusse opened this issue Dec 18, 2024 · 0 comments
Labels
area: API Issues that affect the API

Comments

@mikaelGusse
Copy link
Contributor

It would be useful if the submission tags would be configurable through the API for submissions. This would allow for programmatic ways of filtering different kinds of submissions. For example, the grader could tag every submission that has compilation issues or style problems. This could also be used for plagiarism detection so that a submission could for example be tagged as "suspected plagiarism" if some tool recognizes it as such.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area: API Issues that affect the API
Projects
A+ sprints
Status: Todo
Milestone
No milestone
Development

No branches or pull requests
1 participant
@mikaelGusse