Pick up control manifest (devcontainers#194)

Author: chrmarti

.github/workflows/publish.yml

@@ -36,6 +36,12 @@ jobs:
           mv oras-install/oras /usr/local/bin/
           rm -rf oras_0.13.0_*.tar.gz oras-install/
 
+      - name: Fetch devcontainer-control-manifest.json
+        run: |
+          cd _data
+          oras pull ghcr.io/devcontainers/control-manifest:latest
+          cp devcontainer-control-manifest.json ../static/
+
       - name: Fetch devcontainer-index.json
         run: |
           cd _data

.gitignore

@@ -2,4 +2,5 @@ npm-debug.log
 _site
 spec-generator/node_modules
 spec-generator/out
-devcontainer-index.json
+devcontainer-index.json
+devcontainer-control-manifest.json