git-playground

Add new change open rss

created pr with ps-152 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 pr-79 | git am -3

checkout any patchset in a patch request:

ssh pr.pico.sh print ps-X | 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

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
 // Do we want baz instead?
 // mm: I think it would be better if we used buzz
 bar
+
+A new change!