MAINT set up GitHub Copilot in devcontainer#1431

Merged

romanlutz merged 12 commits intoAzure:mainfrom

romanlutz:romanlutz/devcontainer-gh-copilot-cli

Mar 4, 2026

Commits on Mar 2, 2026

Commits on Mar 4, 2026

Merge remote-tracking branch 'origin/main' into romanlutz/devcontainer-gh-copilot-cli
romanlutz
committed
Pin @github/copilot to version 0.0.421 for reproducible builds

romanlutz
and
Copilot
committed
Update Dockerfile

romanlutz
and
Copilot
authored