Skip to content

[WIP] Fix duplicate entries in .git/config for GitHub PRs - #8876

Draft
Alex Ross (alexr00) with Copilot wants to merge 2 commits into
mainfrom
copilot/fix-duplicate-github-pr-configs
Draft

[WIP] Fix duplicate entries in .git/config for GitHub PRs#8876
Alex Ross (alexr00) with Copilot wants to merge 2 commits into
mainfrom
copilot/fix-duplicate-github-pr-configs

Conversation

Copilot AI commented Aug 5, 2026

Copy link
Copy Markdown
Contributor
  • Add focused regression tests for repeated and changed PR metadata associations
  • Replace existing PR and base-branch metadata instead of appending values
  • Run targeted tests, lint, and hygiene checks (compile, lint, and hygiene pass; extension-host execution is blocked by the unavailable VS Code Insiders download)
  • Complete code review and security validation

@azure-pipelines

Copy link
Copy Markdown
Azure Pipelines:
There may be pipelines that require an authorized user to comment /azp run to run.

Co-authored-by: alexr00 <38270282+alexr00@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

.git/config accumulates duplicate github-pr-owner-number/github-pr-base-branch entries instead of replacing them

2 participants