First public PR: devcontainer JSON fix + minimal CI guardrails#40093

Closed

02ez wants to merge 21 commits intogithub:mainfrom

Commits on Aug 30, 2025

Initial plan
Copilot
committed
Initial plan
Copilot
committed
Implement comprehensive devcontainer security hardening

Copilot
and
02ez
committed
Add devcontainer port visibility automation and security hardening documentation

Copilot
and
02ez
committed
Fix bullet point formatting in introduction-to-dev-containers.md
Copilot
committed
Merge pull request #3 from 02ez/copilot/fix-4f8f2aa5-4a54-438f-89e7-b4cc01fe7225
02ez
authored
Docs: tighten devcontainer JSON + stable Codespaces port setup

02ez
and
Copilot
authored
Use canonical `gh codespace ports visibility`

02ez
and
Copilot
authored
Docs: canonicalize `gh codespace ports visibility` in Python setup

02ez
and
Copilot
authored
Docs: standardize on `gh codespace ports visibility` and unify examples

02ez
and
Copilot
authored
chore(ci): add PR summary using $GITHUB_STEP_SUMMARY
02ez
authored
ci(pr-summary): robust file listing via git diff-tree + precise docs filter

02ez
and
Copilot
authored
ci(pr-summary): add PR summary via $GITHUB_STEP_SUMMARY (robust diff-tree, precise docs filter, minimal perms)
02ez
authored
Update pr-summary.yml with new content
02ez
committed
Merge pull request #1 from 02ez/copilot/fix-53426d94-92c8-4134-9b70-d3cb3c8922fb
02ez
authored

Commits on Sep 1, 2025