Auto deploy changes from `devcontainers/spec` to containers.dev

[joshspicer]

It would be great to automate the deployment of spec changes. Right now we do a 1:1 copy with minor formatting tweaks - so it shouldn't be too hard.

[jcbhmr]

A question from someone completely new and uninformed: Do you guys use GitHub Pages + a custom domain? Would that allow you to map the repos➡domains like:

• devcontainers/devcontainers.github.io ➡ https://containers.dev/
• devcontainers/spec ➡ https://containers.dev/spec/

Then again, it seems like you have the spec hosted at https://containers.dev/implementors/spec/ ...

but waitaminute you could just have a <meta http-equiv="refresh" content="0; url=https://example.org"> html redirect and/or a <script>location.replace("https://example.org")</script> at /implementors/spec/index.html in the repo to redirect to /spec/

[joshspicer]

Hey @jcbhmr, hopefully a delay response is better than no response :). Yep, everything is hosted on GitHub. I'm hoping to do something very similar where we auto-deploy the site from the devcontainers/spec source code. Your experiment with devcontainers.org was a great example of this - do you have the source code/interest in upstreaming that work to containers.dev?