In course configs, we can include a Source FileSpec that tells us where to look for a course.
If it is not there, then we will assume that the server admin will update the course manually.
But otherwise, we can use it as the source for a course.
This will make #6 possible (by giving us the git repo URL).
Additionally, we can also just have a web address (probably a zip) and fetch it from there.
So now the task would not be tied to git specifically, but whatever the FileSpec is.
In course configs, we can include a
Source
FileSpec that tells us where to look for a course. If it is not there, then we will assume that the server admin will update the course manually. But otherwise, we can use it as the source for a course.This will make #6 possible (by giving us the git repo URL). Additionally, we can also just have a web address (probably a zip) and fetch it from there. So now the task would not be tied to git specifically, but whatever the FileSpec is.