dashboard / rush

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

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