Skip to content

Link the opened pull request in the Run complete message#65

Merged
maxBRT merged 1 commit into
mainfrom
wrap/run-complete-pr-link
Jul 21, 2026
Merged

Link the opened pull request in the Run complete message#65
maxBRT merged 1 commit into
mainfrom
wrap/run-complete-pr-link

Conversation

@maxBRT

@maxBRT maxBRT commented Jul 21, 2026

Copy link
Copy Markdown
Owner

Summary

  • After Final verifies an open PR, print a clear Run-complete message instead of ending on tools/tokens alone
  • Fetch the PR URL from gh (OpenPRURL) so the completion line can link it

Made with Cursor

After Final succeeds, operators only saw tools/tokens; surface that the
agents finished and include the PR URL from the open-PR check.

Co-authored-by: Cursor <cursoragent@cursor.com>
@maxBRT
maxBRT merged commit 1b923c6 into main Jul 21, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant