Improve PR Review Responder workflow (#2339)

.claude/commands/dyad/pr-fix.md

@@ -24,8 +24,63 @@ This is a meta-skill that orchestrates two sub-skills to comprehensively fix PR
    - Update snapshots if needed
    - Ensure all checks pass
 
-3. **Summary:**
-   After both sub-skills complete, provide a consolidated summary of:
+3. **Post Summary Comment:**
+   After both sub-skills complete, post a comment on the PR with a consolidated summary using `gh pr comment`. The comment should include:
+   - A header indicating success (✅) or failure (❌)
    - Review comments addressed, resolved, or flagged
    - CI checks that were fixed
    - Any remaining issues requiring human attention
+   - Use `<details>` tags to collapse verbose details (e.g., full error messages, lengthy explanations)
+   - If there were any errors, include specific error messages in the collapsed details
+
+   **Error handling:** If `gh pr comment` fails (e.g., due to network issues, rate limits, or permissions), log a warning but do not fail the entire skill if the underlying fixes were successful. The comment is informational and should not block a successful run.
+
+   Example formats:
+
+   **Success:**
+
+   ```
+   ## ✅ Claude Code completed successfully
+
+   ### Summary
+   - Fixed 2 review comments
+   - Resolved 1 CI failure (lint error in `src/foo.ts`)
+
+   <details>
+   <summary>Details</summary>
+
+   ... detailed information here ...
+
+   </details>
+
+   ---
+   [Workflow run](https://github.com/dyad-sh/dyad/actions/runs/12345678)
+   ```
+
+   **Failure:**
+
+   ```
+   ## ❌ Claude Code failed
+
+   ### Summary
+   - Attempted to fix 2 review comments
+   - Failed to resolve 1 CI failure (lint error in `src/foo.ts`)
+
+   <details>
+   <summary>Error Details</summary>
+
+   **Error:** `lint` command failed with exit code 1.
+
+   ```
+
+   ... linter output ...
+
+   ```
+
+   </details>
+
+   ---
+   [Workflow run](https://github.com/dyad-sh/dyad/actions/runs/12345678)
+   ```
+
+   Note: Include a link to the workflow run at the end. If the `GITHUB_REPOSITORY` and `GITHUB_RUN_ID` environment variables are available, use them to construct the URL: `https://github.com/$GITHUB_REPOSITORY/actions/runs/$GITHUB_RUN_ID`. If these environment variables are not set, omit the workflow run link.

.github/workflows/pr-review-responder.yml

@@ -97,6 +97,11 @@ jobs:
           ref: ${{ github.event.workflow_run.head_branch }}
           fetch-depth: 0
 
+      - name: Record HEAD before Claude Code
+        if: steps.pr-info.outputs.should_continue == 'true'
+        id: before-claude
+        run: echo "sha=$(git rev-parse HEAD)" >> $GITHUB_OUTPUT
+
       - name: Update labels to pending
         if: steps.pr-info.outputs.should_continue == 'true'
         run: |
@@ -113,6 +118,38 @@ jobs:
           prompt: |
             /dyad:pr-fix ${{ steps.pr-info.outputs.pr_number }}
 
+      - name: Re-trigger CI if commits were pushed
+        # Use always() to ensure commits get tested even if Claude Code fails partway through
+        if: steps.pr-info.outputs.should_continue == 'true' && always()
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: |
+          # Fetch using the PR's head ref to handle both fork and same-repo PRs correctly
+          # Use the GitHub API to get the current head SHA, avoiding race conditions with git fetch
+          PR_HEAD_SHA=$(gh pr view ${{ steps.pr-info.outputs.pr_number }} --repo ${{ github.repository }} --json headRefOid --jq '.headRefOid')
+          if [ -z "$PR_HEAD_SHA" ]; then
+            echo "Failed to get PR head SHA, falling back to git fetch"
+            git fetch origin ${{ github.event.workflow_run.head_branch }} || git fetch origin
+            PR_HEAD_SHA=$(git rev-parse FETCH_HEAD 2>/dev/null || git rev-parse origin/${{ github.event.workflow_run.head_branch }})
+          fi
+
+          if [ "${{ steps.before-claude.outputs.sha }}" != "$PR_HEAD_SHA" ]; then
+            echo "Claude pushed new commits (before: ${{ steps.before-claude.outputs.sha }}, after: $PR_HEAD_SHA)"
+            echo "Re-triggering CI by closing and reopening PR"
+            if gh pr close ${{ steps.pr-info.outputs.pr_number }} --repo ${{ github.repository }}; then
+              if ! gh pr reopen ${{ steps.pr-info.outputs.pr_number }} --repo ${{ github.repository }}; then
+                echo "::warning::Failed to reopen PR after close. Attempting recovery..."
+                # Retry reopen once after a short delay
+                sleep 2
+                gh pr reopen ${{ steps.pr-info.outputs.pr_number }} --repo ${{ github.repository }} || echo "::error::PR may be left closed. Manual intervention required."
+              fi
+            else
+              echo "::warning::Failed to close PR, skipping re-trigger"
+            fi
+          else
+            echo "No new commits pushed, skipping CI re-trigger"
+          fi
+
       - name: Update labels to done
         if: steps.pr-info.outputs.should_continue == 'true' && success()
         run: |