dashboard / hxcpp

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

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