git-playground
created pr with
80.1
cmds
checkout latest patchset:
ssh pr.pico.sh print 80 | git am -3checkout any patchset in a patch request:
ssh pr.pico.sh print 80.[rev] | git am -3add changes to patch request:
git format-patch main --stdout | ssh pr.pico.sh pr add 80
Patchset
80.1
Add new change
Marco Munizaga
2025-08-26T23:46:10ZSemantic diff summary
0 added,
0 modified,
0 signature changed,
0 removed
across 0 analyzed files
(1 file skipped: unsupported file type)