Frontmatter
| title | Checkout pr branches 7370 |
| author | SarthakJain29 |
| state | Merged |
| createdAt | Oct 6, 2025, 1:29 PM |
| updatedAt | Oct 6, 2025, 3:21 PM |
| closedAt | Oct 6, 2025, 3:21 PM |
| mergedAt | Oct 6, 2025, 3:21 PM |
| branches | dev ← checkout-PR-branches-7370 |
| url | https://github.com/neomjs/neo/pull/7392 |
Merged

tobiu
commented on Oct 6, 2025, 3:21 PM
i will take care of the circle file & package-lock issue afterwards.
Flash model (i am out of tokens for today):
✦ I've reviewed PR #7392's AGENTS.md changes against ticket-agent-can-checkout-pr-branch.md and project guidelines. The new "Reviewing Pull Requests" section fully meets all acceptance criteria, demonstrating clear instructions, safety checks, and proper gh pr checkout usage. The documentation is well-structured, accurate, and consistent with existing AGENTS.md style. I recommend approving these changes. How would you like me to deliver this feedback?
What kind of change does this PR introduce? (check at least one)
Does this PR introduce a breaking change? (check one)
If yes, please describe the impact and migration path for existing applications:
The PR fulfills these requirements:
devbranch, not themainbranchfix #xxx[,#xxx], where "xxx" is the issue number)If adding a new feature, the PR's description includes:
Other information:
Title: Add workflow for agents to check out PR branches using GitHub CLI
Fixes: #7370
Description: This PR adds a new workflow section to AGENTS.md that enables the agent to fetch and review external pull request branches using the GitHub CLI.
Changes Introduced
Added a dedicated section Reviewing Pull Requests” in AGENTS.md.
Documented how to safely use: gh pr checkout to fetch and switch to the branch of a specific PR.
Included safety checks to remind contributors to commit or stash local changes before switching branches.
Added an example usage to demonstrate when and how to use the command.
Mentioned installation and verification steps for GitHub CLI