The corporate proxy intermittently 407s GitHub's API, so a single gh pr merge can fail transiently. Try once inline (fast path), then retry in the background with backoff (3s/8s/20s/45s) without blocking the ship; mark prState=merged when one lands. Best-effort throughout. |
||
|---|---|---|
| .. | ||
| cowork-service | ||
| extraction-service | ||
| mcp-server | ||
| monitoring | ||
| platform-service | ||