git-pr
created pr with
8.1
pr_reviewed
cmds
checkout latest patchset:
ssh pr.pico.sh print 8 | git am -3checkout any patchset in a patch request:
ssh pr.pico.sh print 8.[rev] | git am -3add changes to patch request:
git format-patch main --stdout | ssh pr.pico.sh pr add 8