dashboard / erock / rush

Help
# submit a new patch request
git format-patch main --stdout | ssh pr.pico.sh pr create erock/rush
# list prs for repo
ssh pr.pico.sh pr ls erock/rush
filter open 1 · accepted 0 · closed 0
Repo Status User Title Patchsets Created At
erock/rush open erock #128 feat: tab completion for tilde expansions 1 2026-06-18T17:34:30Z