Add progress.txt PR comment to all eternity-loop flows

[robertherber]

Summary

• Adds a post_progress_comment helper that posts ralph/progress.txt as a collapsible PR comment (prefixed with 🤖 **eternity-loop bot:** so it's excluded from human comment detection)
• Calls it in all three finalization flows: review, ci-fix, and new task
• For new tasks, looks up the PR number by branch name after finalize_task creates it

Test plan

• Run eternity-loop with a review task and verify progress comment appears on the PR
• Run with a CI fix task and verify progress comment appears
• Run with a new todo task and verify progress comment appears after PR creation

🤖 Generated with Claude Code

[Copilot]

Pull request overview

Adds automated posting of scripts/ralph/progress.txt as a collapsible GitHub PR comment at the end of eternity-loop task finalization flows (review, ci-fix, and newly-created PRs).

Changes:

• Introduces a post_progress_comment helper that reads progress.txt and posts it via gh pr comment.
• Invokes post_progress_comment after finishing review and ci-fix flows.
• For new tasks, looks up the newly-created PR number by branch name, then posts the progress comment.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Copilot]

gh pr comment ... || { ... } logs a warning on failure, but the function still unconditionally logs "Progress comment posted" afterwards. This will report success even when the comment wasn't created. Consider logging success only when gh pr comment exits 0 (and keep the warning log for failures).

Suggested change

	gh pr comment "$pr_number" --body "$comment_body" 2>/dev/null || {
	log_err "[progress] WARNING: Failed to post progress comment on PR #$pr_number"
	}
	log_err "[progress] Progress comment posted on PR #$pr_number."
	if gh pr comment "$pr_number" --body "$comment_body" 2>/dev/null; then
	log_err "[progress] Progress comment posted on PR #$pr_number."
	else
	log_err "[progress] WARNING: Failed to post progress comment on PR #$pr_number"
	fi

[Copilot]

local new_pr_number is used in the main script body (not inside a function). In bash this prints "local: can only be used in a function" and returns non-zero; with set -e enabled near the top of the script, this will terminate the loop. Use a normal variable assignment (or move this logic into a function) instead of local here.

[Copilot]

When gh pr list --json number --jq '.[0].number' returns an empty list, --jq will output null (a non-empty string). The -n check will pass and post_progress_comment will be invoked with pr_number="null", which will fail. Consider changing the jq to '.[0].number // empty' (or explicitly checking for null) before posting the comment.

Suggested change

	new_pr_number=$(gh pr list --head "$BRANCH_NAME" --json number --jq '.[0].number' 2>/dev/null) || true
	new_pr_number=$(gh pr list --head "$BRANCH_NAME" --json number --jq '.[0].number // empty' 2>/dev/null) || true