devcontainers/devcontainers.github.io

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

Opened this issue · 2 comments

joshspicer commented

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 commented

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:

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 commented

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?