dashboard / pubsub

Help
# submit a patch request
git format-patch main --stdout | ssh pr.pico.sh pubsub:{slug}
# list prs for repo
ssh pr.pico.sh ls pubsub