- Apply the contributor's patches locally
- Make review comments or code changes directly in code, then commit
- Submit the review as a patch
- Once satisfied, accept the PR and push to upstream
# Apply patches from a PR
ssh pr.pico.sh pr print {id} | git am -3
# Submit a review (comments/changes as commits)
git format-patch origin/main --stdout | ssh pr.pico.sh pr add --review {id}
# Submit a review with a comment
git format-patch origin/main --stdout | ssh pr.pico.sh pr add --review --comment "Thank you for the contribution! Just left a couple inline notes" {id}
# Accept a PR (accepts multiple IDs)
ssh pr.pico.sh pr accept {id}
# Accept with a comment piped via stdin
echo "looks good, merging!" | ssh pr.pico.sh pr accept --comment {id}
# Submit final patchset and accept in one step
git format-patch origin/main --stdout | ssh pr.pico.sh pr add --accept {id}
# Close/reject a PR (accepts multiple IDs)
ssh pr.pico.sh pr close {id}
# Close with a comment piped via stdin
echo "won't fix because ..." | ssh pr.pico.sh pr close --comment {id}
# Submit patchset and close in one step
git format-patch origin/main --stdout | ssh pr.pico.sh pr add --close {id}
# Reopen a previously closed PR
ssh pr.pico.sh pr reopen {id}
# Reopen with a comment piped via stdin
echo "reconsidered, reopening because ..." | ssh pr.pico.sh pr reopen --comment {id}
# Edit a PR's title
ssh pr.pico.sh pr edit {id} {title}
# Prep and push to upstream
git rebase -i origin/main # or whatever the correct `remote/canonical-branch` are
git push origin main # or whatever the correct `remote canonical-branch` are