Skip to content

Update agents.md: correct obsolete information and add missing repository details#3268

Merged
mergify[bot] merged 2 commits intomainfrom
copilot/improve-agents-md-documentation
Dec 13, 2025
Merged

Update agents.md: correct obsolete information and add missing repository details#3268
mergify[bot] merged 2 commits intomainfrom
copilot/improve-agents-md-documentation

Commits

Commits on Dec 13, 2025