shring
created pr with
82.1
cmds
checkout latest patchset:
ssh pr.pico.sh print 82 | git am -3checkout any patchset in a patch request:
ssh pr.pico.sh print 82.[rev] | git am -3add changes to patch request:
git format-patch main --stdout | ssh pr.pico.sh pr add 82
Patchset
82.1
Test commit
Daniel Fichtinger
2025-10-01T16:41:37ZSemantic diff summary
0 added,
0 modified,
0 signature changed,
0 removed
across 0 analyzed files
(1 file skipped: unsupported file type)