Fix push_to_pull_request_branch generating bad patch on issue_comment follow-up runs#16927

Closed

Copilot wants to merge 17 commits intomainfrom

copilot/fix-patch-generation-bug

Commits on Feb 19, 2026

Initial plan
Copilot
committed
Initial plan for fixing push_to_pull_request_branch bad patch bug

Copilot
and
pelikhan
committed
Fix push_to_pull_request_branch bad patch for issue_comment follow-up commits

Copilot
and
pelikhan
committed
Merge origin/main and recompile lock files

Copilot
and
pelikhan
committed
Add extensive logging to generate_git_patch.cjs

Copilot
and
pelikhan
committed
Merge remote-tracking branch 'origin/main' into copilot/fix-patch-generation-bug
Copilot
committed
Simplify logging to core.info/core.warning, merge main, recompile

Copilot
and
pelikhan
committed
Remove generate_git_patch.sh (unused in lock.yml files)

Copilot
and
pelikhan
committed

Commits on Feb 20, 2026