git-playground

created pr with 79.1 on 2025-08-27T04:05:24Z · by 93a7d709
changed status to closed on 2025-08-27T04:06:30Z · by 93a7d709
cmds
checkout latest patchset:
ssh pr.pico.sh print 79 | git am -3
checkout any patchset in a patch request:
ssh pr.pico.sh print 79.[rev] | git am -3
add changes to patch request:
git format-patch main --stdout | ssh pr.pico.sh pr add 79
set PR to open (enables RSS notifications):
ssh pr.pico.sh pr open 79
set PR to draft (stops RSS notifications):
ssh pr.pico.sh pr draft 79

Patchset 79.1 on 2025-08-27T04:05:24Z · 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