github: handle duplicate PR creation when agent creates PR (#6777)
M
Matt Silverlock committed
4486174e4319b9523d134fda863677f35e740105
Parent: 41cf45a
Committed by GitHub <noreply@github.com>
on 1/4/2026, 8:05:08 AM