1 Commits

Author	SHA1	Message	Date
Igor Šćekić	e4759b75ac	fix(ci): docs-sync bot — no errors, no timeouts, no lost PRs (#12580) ... * fix(ci): configure git identity before the docs-sync merge and classify merge failures * fix(ci): hold the docs-sync watermark back until every PR has an outcome * test(ci): self-check for the docs-sync failure paths * fix(ci): isolate PR selftest concurrency from the daily docs-sync run	2026-07-28 10:40:39 +02:00