Retry card-close PR creation instead of failing silently #86

Merged

weichen merged 3 commits from fix/close-pr-retry into main 2026-09-30 16:48:29 +00:00

Conversation 0 Commits 3 Files Changed 3

+47 -5

3 Commits

Author	SHA1	Message	Date
weichen	4601e5b407	Record the sync checkpoint	2026-09-30 16:47:54 +00:00
weichen	888aa9471c	Retry card-close PR creation instead of failing silently ... Why: cmd_close posted the PR with a single curl wrapped in 2>/dev/null || true, so any transient TLS/timeout on the git-home HTTPS surface left the card-close branch pushed with no PR and no diagnostics; this hit three times on 2026-09-30 and each needed a manual API call to recover. Evidence: bash -n clean; stub-server harness running the block verbatim (sed-extracted from this file, executed inside the worktree branch context): ok mode recovers the PR URL on first POST; exists mode (POST always 500) retries 4x with visible stderr then recovers the pre-existing open PR via GET ?state=open matching head ref; fail mode against the retired git-panel host shows four visible retry notices and falls through to the existing [next] hint. Impact: scripts/task.sh cmd_close only; precheck/start/sync/finish untouched; card-close merge authority unchanged (owner merges). post-merge hook and task-finish auto-close inherit the fix through the same function. Refs: task card fix-close-pr-retry	2026-09-30 16:47:53 +00:00
weichen	217bab4227	Record the task card for fix-close-pr-retry	2026-09-30 16:41:35 +00:00