git-playground

Add new change open rss

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

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