github vs other hosters

[knarrff]

It would be nice if the general course material could be somewhat decoupled from github. Something we would like, e.g., would be the same general course, but with gitlab instead of github.

What would be a good way to keep most of the material the same, but have conditionals depending on these "variants". Does the infrastructure support this already?