contributing.md

  1. Clone the repo and make changes via commits
  2. Create a new patch request
  3. 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}