Branches

• master default protected

  46605c97 · Merge branch 'only-doc-upstream' into 'master' · Oct 11, 2023
• fix-submissions

  e250b164 · Assignment.submissions: fix for grouped submissions · Sep 22, 2023
• forbidden-characters

  ba0f800f · Bump version to 0.2.6 · Sep 13, 2023
• master-patch-issue33

  d9d3c86f · Update status for collaborative work · Jun 26, 2023
• update_student_group

  492888f9 · Advanced tutorial: minor phrasing improvement · Jun 12, 2023
• speed

  53f4015a · Atomic removal of token file · Oct 27, 2022
• bug_mirror

  f06658a6 · remove --mirror for release otherwise I have bugs after init/pushing · Oct 04, 2021
• from_json

  8bebc570 · add Ressource construction `from_json` that filters out unknown datafields · Jun 28, 2021
• prod

  da8dee23 · Merge branch 'master' into 'prod' · Aug 07, 2020