git-pr
created pr with
9.1
added 9.2
-: ------- > 1: 14c87fe lgtm
1: 42e808b = 2: 14c87fe fix: insert repoID with pr creation
cmds
checkout latest patchset:
ssh pr.pico.sh print 9 | git am -3checkout any patchset in a patch request:
ssh pr.pico.sh print 9.[rev] | git am -3add changes to patch request:
git format-patch main --stdout | ssh pr.pico.sh pr add 9