dashboard / shring

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

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