shring

Help

# submit a new patch request
git format-patch  --stdout | ssh pr.pico.sh pr create fic/shring

# list prs for repo
ssh pr.pico.sh pr ls fic/shring

filter open 0 · accepted 0 · closed 1

Repo	Status	User	Title	Patchsets	Created At
fic/shring	`closed`	`fic`	`#82` Test commit	`1`	2025-10-01T16:44:43Z