Add Copilot CLI settings.local.json to .gitignore

[vcsjones]

Copilot CLI has an additional configuration file called "local repository" that allows configuration to override a repository's configuration, but should not be checked in.

From the docs:

Create .github/copilot/settings.local.json in the repository for personal overrides that should not be committed. Add this file to .gitignore.

The local configuration file uses the same schema as the repository configuration file (.github/copilot/settings.json) and takes precedence over it.

[Copilot]

Copilot wasn't able to review any files in this pull request.

[dotnet-policy-service]

Tagging subscribers to this area: @dotnet/runtime-infrastructure
See info in area-owners.md if you want to be subscribed.

[github-actions]

Caution

Security scanning requires review for Code Review

Details

The threat detection results could not be parsed. The workflow output should be reviewed before merging.

Review the workflow run logs for details.

Note

This review was generated by Copilot.

🤖 Copilot Code Review — PR #128082

Holistic Assessment

Motivation: The PR is well-justified. The Copilot CLI documentation explicitly recommends adding settings.local.json to .gitignore for personal overrides that should not be committed.

Approach: Adding the path to .gitignore is the correct and only approach needed.

Summary: ✅ LGTM. This is a minimal, correct change that follows the documented recommendation for Copilot CLI local configuration. No code, tests, or behavior are affected.

---

Detailed Findings

✅ Correctness — Path and placement are correct

The ignored path .github/copilot/settings.local.json matches the documented location. The entry is appended at the end of the file with an appropriate comment, consistent with other sections in the .gitignore.

Generated by Code Review for issue #128082 · ● 1.5M · ◷