repos / docs

# submit a new patch request
git format-patch main --stdout | ssh pr.pico.sh pr create docs

# list prs for repo
ssh pr.pico.sh pr ls docs