I don't get 4) and 5). Plumbing for what? This makes me think it is not understood that github pages will just host any html you put in its repo. There is no ma

I don't get 4) and 5). Plumbing for what? This makes me think it is not understood that github pages will just host any html you put in its repo. There is no magic plumbing in play here, not on your side at least. 1) okay, I can see that (also @simonw, the other comment). 2) is a tradeoff, you have a lot more work with setting this all up. but okay. For 3), if building the site is easy enough and documented properly, having to run a build script once and having it as part of the PR is in my experience not a problem for contributors - and there is also a tradeoff here against them having to understand what hidden steps the Github action will do, when wanting to contribute.