- Clone the repo and make changes via commits
- Create a new patch request
- If revisions are requested, apply reviewer patches, address feedback, and submit revised patches
# Create a new patch request
git format-patch origin/main --stdout | ssh pr.pico.sh pr create {repo}
# Apply reviewer feedback
ssh pr.pico.sh pr print {id} | git am -3
# Submit a revision to an existing PR
git format-patch origin/main --stdout | ssh pr.pico.sh pr add {id}
# Submit a revision with a comment
git format-patch origin/main --stdout | ssh pr.pico.sh pr add --comment "addressed feedback" {id}
# Edit a PR's title
ssh pr.pico.sh pr edit {id} {title}