git-playground

created pr with 80.1 on 2025-08-27T04:06:40Z · by 93a7d709
cmds
checkout latest patchset:
ssh pr.pico.sh print 80 | git am -3
checkout any patchset in a patch request:
ssh pr.pico.sh print 80.[rev] | git am -3
add changes to patch request:
git format-patch main --stdout | ssh pr.pico.sh pr add 80

Patchset 80.1 on 2025-08-27T04:06:40Z · commit 2f423b8

Add new change
Marco Munizaga 2025-08-26T23:46:10Z
Semantic diff summary
0 added, 0 modified, 0 signature changed, 0 removed across 0 analyzed files (1 file skipped: unsupported file type)
+2 -0 hello.txt #
......@@ -2,3 +2,5 @@ hello
22 // Do we want baz instead?
33 // mm: I think it would be better if we used buzz
44 bar
5+
6+A new change!
Back to top