github pages job?

[whot]

@bluetech any reason (other than ETIME) we don't have a pages job to have up-to-date documentation? Right now afair the xkbcommon.org doc requires a manual sync.

[bluetech]

The website (code here), DNS and tarballs are hosted by @fooishbar, and I sync it using ssh on every release. So automating would require giving the CI ssh access.

[fooishbar]

I'd be perfectly happy moving it over to GitHub Pages, or GitLab Pages if you wanted to move it to fd.o ...

Let me know what you need for me. Happy to change DNS, give you access to DNS (in fact, check your email and you've got an invite from Joker), add accounts to the machine currently hosting it, etc etc.

[bluetech]

Thanks, I was able to connect to Joker.

Next step will be to set up a github pages clone of xkbcommon.org.

Then set it up to use the custom domain. Should take special care to keep all URLs in tact.

Then we can look at automating it.

[emersion]

Migrating to GitHub pages would be a step backwards wrt. #259.

[whot]

This was added in 134c6bb, see https://xkbcommon.github.io/libxkbcommon/doc/current/pages.html