docs: deduplicate repository agent guidance (#3927)

Refs #3926

Parent: 592f6ee

Committed by GitHub <noreply@github.com> on 9/17/2026, 10:54:51 AM