pico

created pr with 21.1 on 2024-08-29T14:09:39Z · by 8c45d02c
cmds
checkout latest patchset:
ssh pr.pico.sh print 21 | git am -3
checkout any patchset in a patch request:
ssh pr.pico.sh print 21.[rev] | git am -3
add changes to patch request:
git format-patch main --stdout | ssh pr.pico.sh pr add 21

Patchset 21.1 on 2024-08-29T14:09:39Z · commit da5fad5

feat: improve documentation
Andreas Gruhler 2024-08-28T22:37:42Z
This improves documentation by stating the admin list needs to be
populated with ssh pubkeys and that the config file repos can be
configured with a default_branch name to show in the help text.
Semantic diff summary
0 added, 0 modified, 0 signature changed, 0 removed across 0 analyzed files (1 file skipped: unsupported file type)
+3 -1 git-pr.toml #
......@@ -2,7 +2,8 @@
22 url = "localhost"
33 # where we store the sqlite db, this toml file, git repos, and ssh host keys
44 data_dir = "./data"
5-# this gives users the ability to submit reviews and other admin permissions
5+# list of admin ssh pubkeys, authorized to submit review and other admin
6+# permissions
67 admins = []
78 # set datetime format for our clients
89 time_format = "2006-01-02"
......@@ -10,5 +11,6 @@ time_format = "2006-01-02"
1011 # add as many repos as you want
1112 [[repo]]
1213 id = "test"
14+default_branch = "main"
1315 clone_addr = "https://github.com/picosh/test.git"
1416 desc = "Test repo"
Back to top