Comment Devin review link on PR

Author: mnm-matin

.github/workflows/devin-review.yml

@@ -16,6 +16,7 @@ jobs:
     timeout-minutes: 5
     permissions:
       contents: read
+      issues: write
       pull-requests: read
 
     steps:
@@ -64,3 +65,50 @@ jobs:
             echo "This workflow intentionally does not use DEVIN_API_KEY."
             echo "For automatic Devin statuses or comments inside GitHub, connect the Devin GitHub integration and enable auto-review in Devin settings."
           } >> "$GITHUB_STEP_SUMMARY"
+
+      - name: Upsert PR comment with Devin Review link
+        uses: actions/github-script@v8
+        env:
+          PR_NUMBER: ${{ steps.review.outputs.number }}
+          PR_URL: ${{ steps.review.outputs.pr_url }}
+          REVIEW_URL: ${{ steps.review.outputs.review_url }}
+        with:
+          script: |
+            const marker = '<!-- devin-review-link -->';
+            const issue_number = Number(process.env.PR_NUMBER);
+            const body = [
+              marker,
+              'Devin Review is available for this pull request.',
+              '',
+              `- GitHub PR: ${process.env.PR_URL}`,
+              `- Devin Review: ${process.env.REVIEW_URL}`,
+              '',
+              'This link opens the hosted Devin Review page for the current PR.',
+            ].join('\n');
+
+            const comments = await github.paginate(github.rest.issues.listComments, {
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              issue_number,
+              per_page: 100,
+            });
+
+            const existing = comments.find((comment) => comment.body && comment.body.includes(marker));
+
+            if (existing) {
+              await github.rest.issues.updateComment({
+                owner: context.repo.owner,
+                repo: context.repo.repo,
+                comment_id: existing.id,
+                body,
+              });
+              core.info(`Updated existing Devin Review comment: ${existing.html_url}`);
+            } else {
+              const created = await github.rest.issues.createComment({
+                owner: context.repo.owner,
+                repo: context.repo.repo,
+                issue_number,
+                body,
+              });
+              core.info(`Created Devin Review comment: ${created.data.html_url}`);
+            }