Repo sync#39671

Merged

docs-bot merged 2 commits intomainfrom

Aug 5, 2025

Commits on Aug 5, 2025

[2025-08-05] GitHub Copilot coding agent now only responds to `@copilot` mentions in PR comments (#56766)

authored
Updating the Copilot metrics docs (#56997)

octoshin
and
jc-clark
authored