dashboard / patchbin

Help
# submit a patch request
git format-patch main --stdout | ssh pr.pico.sh patchbin:{slug}
# list prs for repo
ssh pr.pico.sh ls patchbin
143 2026-10-01T23:54:37Z