Branches

• master-patch-issue33

  d9d3c86f · Update status for collaborative work · Jun 26, 2023
• master default protected

  be41a7d7 · Merge branch 'master-patch-issue33' into 'master' · Jun 18, 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