Skip to content

docs(github-code): Add PR lifecycle subscription step after PR creation#740

Merged
dcramer merged 3 commits into
mainfrom
feat/github-code-pr-lifecycle-subscription
Jul 2, 2026
Merged

docs(github-code): Add PR lifecycle subscription step after PR creation#740
dcramer merged 3 commits into
mainfrom
feat/github-code-pr-lifecycle-subscription

Conversation

@dcramer

@dcramer dcramer commented Jul 2, 2026

Copy link
Copy Markdown
Member

Adds a new Step 7 "Subscribe to PR lifecycle" to the github-code skill workflow, inserted between PR creation and the final report step.

After github_createPullRequest returns, the skill now checks for a subscribable resource hint and calls subscribeToResourceEvents if one is present. The intent is self-contained — it captures repo, PR number, branch, and per-event-class instructions:

  • Review feedback → load pr-cleanup, address validated feedback, push, report
  • CI failure → load pr-cleanup, trace root cause from logs, fix, push, report
  • CI green (after prior failure) → confirm unblocked, summarize state

If no subscribable hint is present, the step is a no-op. The prior Step 7 (Report result) becomes Step 8.

--

View Junior Session in Sentry

Co-Authored-By: sentry-junior[bot] <264270552+sentry-junior[bot]@users.noreply.github.com>
@vercel

vercel Bot commented Jul 2, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
junior-docs Ready Ready Preview, Comment Jul 2, 2026 9:18pm

Request Review

Co-Authored-By: sentry-junior[bot] <264270552+sentry-junior[bot]@users.noreply.github.com>
…hing meaningful to say

Co-Authored-By: sentry-junior[bot] <264270552+sentry-junior[bot]@users.noreply.github.com>
@dcramer dcramer marked this pull request as ready for review July 2, 2026 21:18
@github-actions github-actions Bot added the risk: low PR risk score: low label Jul 2, 2026
@dcramer dcramer merged commit 9f8e193 into main Jul 2, 2026
20 checks passed
@dcramer dcramer deleted the feat/github-code-pr-lifecycle-subscription branch July 2, 2026 21:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

risk: low PR risk score: low

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant