#17
rss
ssh pr.pico.sh print pr-17 | git am -3checkout any patchset in a patch request:
ssh pr.pico.sh print ps-X | git am -3add changes to patch request:
git format-patch main --stdout | ssh pr.pico.sh pr add 17add review to patch request:
git format-patch main --stdout | ssh pr.pico.sh pr add --review 17accept PR:
ssh pr.pico.sh pr accept 17close PR:
ssh pr.pico.sh pr close 17