dashboard / git-playground

Help
# submit a patch request
git format-patch main --stdout | ssh pr.pico.sh git-playground:{slug}
# list prs for repo
ssh pr.pico.sh ls git-playground
81 2025-08-27T16:56:45Z
80 2025-08-27T04:06:40Z
79 2025-08-27T04:05:24Z
78 2025-08-27T03:55:53Z