dashboard / pici

# submit a patch request
git format-patch main --stdout | ssh pr.pico.sh pici:{slug}

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