dashboard / docs

Help

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

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

130 2026-08-04T02:36:12Z

63 2025-04-13T17:09:08Z

docs: global docs 4

42 2025-01-13T01:24:09Z