Release 0.9.0

Known Bugs

Currently the database migration does not add an autoincremental id to the user. This will be fixed in 0.9.1. If you have already upgraded, you can mitigate this issue by manually updating the column.
Example for PostgreSQL:

# updates the user id column 
ALTER TABLE "user"
    ALTER COLUMN id
    ADD GENERATED BY DEFAULT AS IDENTITY;
# set the serial starting point to the highest user id
SELECT setval(
    pg_get_serial_sequence('"user"', 'id'),
    COALESCE((SELECT MAX(id) FROM "user"), 1),
    TRUE
);

Breaking changes

This version updates the database and adds a new user primary key id, which is used to map roles, submissions and tokens to the user. The previous primary key column username still exists and needs to be unique, but is not a primary key.

What's Changed

• Fix: feedback generation failing with student notebooks by @natkam in #288
• refactor: changed load_roles dict entries to lists by @florian-jaeger in #292
• fix: Set missing display_name for a new user in auth_to_user by @natkam in #291
• chore: Update the openapi specification to make it less out-of-date by @natkam in #290
• Update the release-0.9.0 branch to include the changes from release-0.8.2. by @natkam in #299
• Chore: add id pk to user table by @natkam in #289
• Chore: Add a test for the edit endpoint; set up code coverage reports on running tests by @natkam in #300
• Fix/fix 0.9 db migrations by @florian-jaeger in #302

Full Changelog: grader-service-helm-0.8.2...grader-service-0.9.0