Skip to content

docs(integration): ask the user whether a run includes draft PRs [skip-ci] - #550

Merged
RonenMars merged 1 commit into
mainfrom
docs/integration-skill-drafts
Aug 12, 2026
Merged

docs(integration): ask the user whether a run includes draft PRs [skip-ci]#550
RonenMars merged 1 commit into
mainfrom
docs/integration-skill-drafts

Conversation

@RonenMars

Copy link
Copy Markdown
Owner

Follow-up to #547.

Once the set is resolved, the integration-branch skill now lists every draft PR in it and asks whether this run includes them — before the branch is cut, rather than at the merge that happens to hit one.

The answer is never inferred in either direction.
A PR is draft because it is unfinished, or because its author is blocked on something with nothing to do with the code, and those two want opposite treatment.
The answer is recorded in the log: included drafts flagged as such, declined ones in the exclusions table as "draft — user declined".

Including a draft does not require flipping it ready.
The skill merges the PR's head locally and GitHub's draft flag only gates merging on GitHub, so the flag is left alone — flipping a batch of PRs ready in order to build an integration branch is a change to their state nobody asked for.

The identical wording is in the tb-mobile copy of this skill (RonenMars/threadbase-mobile#675), so the two repos stay in step.

…p-ci]

Once the set is resolved the skill now lists every draft in it and asks whether this run includes them, before the branch is cut rather than at the merge that hits one.
The answer is never inferred: a PR is draft because it is unfinished, or because its author is blocked on something unrelated to the code, and those want opposite treatment.

Including a draft does not require flipping it ready, since the skill merges the PR's head locally and the draft flag only gates merging on GitHub.
Flipping a batch of PRs ready so an integration branch can be built is a change to their state nobody asked for.

The same wording is in the tb-mobile copy of this skill, so the two stay in step.
@RonenMars
RonenMars merged commit c76c257 into main Aug 12, 2026
12 checks passed
@RonenMars
RonenMars deleted the docs/integration-skill-drafts branch August 12, 2026 19:07
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