.devcontainer .github .vscode scripts target