#107
rss
ssh pr.pico.sh print pr-107 | 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 107add review to patch request:
git format-patch main --stdout | ssh pr.pico.sh pr add --review 107accept PR:
ssh pr.pico.sh pr accept 107close PR:
ssh pr.pico.sh pr close 107