#14
rss
# add changes to patch request git format-patch main --stdout | ssh pr.pico.sh pr add 14
# add review to patch request git format-patch main --stdout | ssh pr.pico.sh pr add --review 14
# remove patchset ssh pr.pico.sh ps rm ps-x
# checkout all patches ssh pr.pico.sh pr print 14 | git am -3
# print a diff between the last two patches in a patch request ssh pr.pico.sh pr diff 14
# accept PR ssh pr.pico.sh pr accept 14
# close PR ssh pr.pico.sh pr close 14