Heh I knew someone would complain about GitHub, but I specifically need the easy integration between GitHub (git repo) and GitHub Pages (static website hosting with a compile step in between).
GitLab seems to have an equivalent, with a more complex setup which would distract from the purpose of this workshop (not trying to learn ci setups here), and it’s asking me to spend many hours learning a new platform and adapting the workshop, which I don’t have time for at the moment. I am only planning 1 h prep for this workshop 
I think it’s actually useful that people get to learn the basics on GitHub, then carry that learning to a new platform to see the portability of what they have learned on multiple platforms.