dashboard / adding-bookmarks

Help
# submit a patch request
git format-patch main --stdout | ssh pr.pico.sh adding-bookmarks:{slug}
# list prs for repo
ssh pr.pico.sh ls adding-bookmarks
77 2025-08-25T23:01:54Z