devcontainer.json $schema URL downgrade and unknown field handling in GitHub Codespaces
Goal Determine whether GitHub Codespaces should automatically strip or ignore unknown devcontainer.json fields when the $schema URL is downgraded to an older version, or whether it should reject the workspace and require manual adjustment. Uncertainty It is unclear whether the documentation provides an automated safe‑rollback mechanism for downgrading the $s