teaching

This issue will track the type annotation process of all the core/domain/*_domain.py (and their test files). To get started, ask to be assigned to any unclaimed task. Tasks are claimed by adding the username of the claimer to the end of the task, e.g. @example.

Note: Main code file and its test file must be type-annotated together.

The general procedure to add type annotations is a

When a user has a version of gradebook.db that has not been upgraded to the latest version,
Formgrader will hang when it tries to open the database file.
The error is only visible in the log output and not propagated to the web interface.

There is an Autolab dark theme PR which allows each individual user to set whether they want the default Autolab theme, or the dark theme: autolab/Autolab#1139

This is a very promising PR but there are some issues with it which needs to be resolved before it can be merged.

1. Certain aspects of the light theme (the handin-panel, the font colors and type, the handin ta

git-cz serves the purpose here.