Skip to content

Tell agents about jj and stacked PRs - #884

Open
ice1080 wants to merge 2 commits into
mainfrom
agents-pr
Open

ice1080 wants to merge 2 commits into
mainfrom
agents-pr

Conversation

@ice1080

@ice1080 ice1080 commented Oct 2, 2026

Copy link
Copy Markdown
Contributor

Describe how we do stacked PRs, in the hopes that agents will split
large changes up on their own.

@ice1080
ice1080 requested a review from a team as a code owner October 2, 2026 16:34
@ice1080

ice1080 commented Oct 2, 2026

Copy link
Copy Markdown
Contributor Author

Copied directly from terraware/terraware-server#5086

@github-actions

github-actions Bot commented Oct 2, 2026

Copy link
Copy Markdown
Contributor

To increment version on merge, please add one of patch (default), minor, or major label to this PR.

@github-actions github-actions Bot added the patch label Oct 2, 2026
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 2, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-10-02T16:35:39.215370Z 38c9cdf PR opened
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@ice1080

ice1080 commented Oct 2, 2026

Copy link
Copy Markdown
Contributor Author

publish rc

@ice1080
ice1080 enabled auto-merge (squash) October 2, 2026 21:34

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants