Deploy manual with GitHub Actions#128
Conversation
bearbin
left a comment
There was a problem hiding this comment.
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.
|
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. |
|
@bearbin Are we ready to point the domain to GitHub Pages, or do you still want to do testing? |
|
I'll probably get around to doing the testing this weekend, then point it to the new domain. |
|
Sounds good! While I have your attention, any objection to archiving these two repositories? 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. |
|
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. |
|
Site is now all migrated over to GH pages infra, just waiting for the DNS to propagate and certs to provision. |
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.orgto GitHub Pages, similar to the main domain.