dashboard / sgx-jmp

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

# list prs for repo
ssh pr.pico.sh ls sgx-jmp