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

PR classified as team-member.

✅ Head commit 83a0c92 is signed by alexr00 with trusted key 2B44351E1F9300F6B8129A67DFB91832F521B869 — approval requirement reduced from 2 to 1.

✅ Collaborator approvals: 1/1 (dbaeumer).

✅ No newly added runnable binary files.

✅ No protected engineering system files changed.