Deploy manual with GitHub Actions

[mathiascode]

Uses GitHub Actions to deploy the manual to https://cuberite.github.io/users-manual/ (see https://mathiascode.github.io/users-manual/ for an example).

We can then point book.cuberite.org to GitHub Pages, similar to the main domain.

[bearbin]

This looks great, I'll want to do some more testing before switching the DNS over (and as a bit of a sandbox before doing anything to cuberite/cuberite) but in principle it's exactly what we need.

[mathiascode]

Thanks for merging! FWIW, I migrated the plugin repos from Travis CI to GitHub Actions a few years ago, so all that's remaining is the main repo, once we're ready to do some work on it.

[mathiascode]

@bearbin Are we ready to point the domain to GitHub Pages, or do you still want to do testing?

[bearbin]

I'll probably get around to doing the testing this weekend, then point it to the new domain.

[mathiascode]

Sounds good!

While I have your attention, any objection to archiving these two repositories?

• https://github.com/cuberite/cuberite-ocean
• https://github.com/cuberite/docker-build-image

The first one hasn't been updated in a decade. The second one was previously used for our Docker images for CircleCI, but those no longer exist.

[bearbin]

No objection to archiving either of those, consider it done :)

I think we could probably actually delete them, I don't think there's really any historic value to those two. But archiving is fine.

[bearbin]

Site is now all migrated over to GH pages infra, just waiting for the DNS to propagate and certs to provision.