Skip to content

Add devcontainer profiles for various workshop scenarios #1478

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
mnkiefer wants to merge 9 commits into from
Closed

Add devcontainer profiles for various workshop scenarios #1478

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
2f81a16
Add devcontainer profiles for various workshop scenarios
mnkiefer Jul 18, 2026
b7b9685
Use devcontainer copilot-cli feature in generated profiles
Copilot Jul 18, 2026
63599f0
Add GitHub CLI feature and issue/PR write permissions
Copilot Jul 18, 2026
ce883bd
Align generated devcontainer shape with working path example
Copilot Jul 18, 2026
08a8e43
Escape launch URL in generated post-attach command
Copilot Jul 18, 2026
ead281c
Pass launch URL as positional shell arg
Copilot Jul 18, 2026
4cea773
Merge remote-tracking branch 'origin/main' into devcontainer-files
Copilot Jul 19, 2026
3ff93f2
Merge main and align devcontainer metadata with journey/adventure fro…
Copilot Jul 19, 2026
06b455a
Refine frontmatter parsing for journey and adventure metadata
Copilot Jul 19, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
28 changes: 28 additions & 0 deletions workshop/examples/devcontainers/actions-write/.devcontainer/devcontainer.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
{
"name": "gh-aw workshop (terminal triggers)",
"image": "mcr.microsoft.com/devcontainers/universal:2",
"features": {
"ghcr.io/devcontainers/features/github-cli:1": {}
},
"customizations": {
"codespaces": {
"repositories": {
"YOUR-USERNAME/YOUR-REPO": {
"permissions": {
"actions": "write",
"workflows": "write",
"issues": "write",
"pull_requests": "write"
}
}
}
},
"vscode": {
"extensions": [
"GitHub.copilot",
"GitHub.copilot-chat"
]
}
},
"postCreateCommand": "bash .devcontainer/post-create.sh"
}
10 changes: 10 additions & 0 deletions workshop/examples/devcontainers/actions-write/.devcontainer/post-create.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
#!/usr/bin/env bash
set -euo pipefail

if command -v code >/dev/null 2>&1; then
code --install-extension GitHub.copilot --force
code --install-extension GitHub.copilot-chat --force
else
echo "The code CLI is not available during post-create."
echo "GitHub Copilot extensions will still install from devcontainer customizations."
fi
13 changes: 13 additions & 0 deletions workshop/examples/devcontainers/base/.devcontainer/devcontainer.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
{
"name": "gh-aw workshop",
"image": "mcr.microsoft.com/devcontainers/universal:2",
"customizations": {
"vscode": {
"extensions": [
"GitHub.copilot",
"GitHub.copilot-chat"
]
}
},
"postCreateCommand": "bash .devcontainer/post-create.sh"
}
10 changes: 10 additions & 0 deletions workshop/examples/devcontainers/base/.devcontainer/post-create.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
#!/usr/bin/env bash
set -euo pipefail

if command -v code >/dev/null 2>&1; then
code --install-extension GitHub.copilot --force
code --install-extension GitHub.copilot-chat --force
else
echo "The code CLI is not available during post-create."
echo "GitHub Copilot extensions will still install from devcontainer customizations."
fi
Loading