Skip to content

Conversation

@XanderVertegaal
Copy link
Contributor

@XanderVertegaal XanderVertegaal commented Dec 17, 2025

Closes #60

This is one key aspect of annotations accounted for. We may also be able to reuse this system to mark problems as 'gold' or 'hidden', although I still think these properties are best kept independent.

The fixtures in backend/annotation/fixtures/initial.json are for testing convenience only, so you don't have to add labels yourself every time you flush your local dev DB. They are not intended to be loaded in on the server.

@XanderVertegaal XanderVertegaal added this to the Annotation starts milestone Dec 17, 2025
@XanderVertegaal XanderVertegaal added the enhancement New feature or request label Dec 17, 2025
@XanderVertegaal XanderVertegaal marked this pull request as ready for review December 23, 2025 08:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Problem categories/labels

2 participants