dashboard / git-pr / contrib: add dev script `#11` rss

accepted · opened on 2024-07-22T18:12:32Z by jolheiser

Help

# add changes to patch request
git format-patch main --stdout | ssh pr.pico.sh pr add 11

# add review to patch request
git format-patch main --stdout | ssh pr.pico.sh pr add --review 11

# remove patchset
ssh pr.pico.sh ps rm ps-x

# checkout all patches
ssh pr.pico.sh pr print 11 | git am -3

# print a diff between the last two patches in a patch request
ssh pr.pico.sh pr diff 11

# accept PR
ssh pr.pico.sh pr accept 11

# close PR
ssh pr.pico.sh pr close 11

Logs

jolheiser created pr with ps-18 on 2024-07-22T16:35:13Z

erock added ps-22 on 2024-07-22T18:12:49Z

erock changed status on 2024-07-22T18:12:49Z {"status":"accepted"}

Patchsets

ps-18 by jolheiser on 2024-07-22T16:35:13Z

Range Diff ↕ rd-22


                -:  ------- > 1:  31fcd4a lgtm


                1:  57b42aa = 2:  31fcd4a fix: only log status change if the status changes

ps-22 by erock on 2024-07-22T18:12:49Z

Range-diff `rd-22`

title: lgtm
description: Patch added
old #0: (none)
new #1: 31fcd4a

title: fix: only log status change if the status changes
description: Patch equal
old #1: 57b42aa
new #2: 31fcd4a


                -:  ------- > 1:  31fcd4a lgtm


                1:  57b42aa = 2:  31fcd4a fix: only log status change if the status changes