Closed a-a-hofmann closed 2 years ago
In case of a server restart we lose the previous version of a course. In order to check if there were updates we would have to parse the local git repository first, then try to pull for updates
We can sote the current git hash and and on crash pull that commit from git to restore our last state and then pull the latest commit to then generate diffs
The course supervisor controls when the course data is pulled via the frontend.
If there is an update to a repo while the server is down and cannot receive webhooks, then the submissions will not be invalidated