ok/jj
1
0
Fork 0
forked from mirrors/jj
Code Pull requests Activity

config-schema: update stale push-branch-prefix config

Browse source 
We missed this when we renamed `push-branch-prefix` to
`push-bookmark-prefix`. I changed the description slightly to try to
clarify that it's about the local bookmark that's created before
pushing it to the remote as a branch.
This commit is contained in:
Martin von Zweigbergk 2024-09-12 22:02:17 -07:00 committed by Martin von Zweigbergk
parent 74e3c4efe2
commit c2220ca4d5
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
cli/src/config-schema.json
View file

@ -307,9 +307,9 @@
"description": "Whether jj should abandon commits that became unreachable in Git.", "description": "Whether jj should abandon commits that became unreachable in Git.",
"default": true "default": true
}, },
"push-branch-prefix": { "push-bookmark-prefix": {
"type": "string", "type": "string",
"description": "Prefix used when pushing a change ID as a new branch", "description": "Prefix used when pushing a bookmark based on a change ID",
"default": "push-" "default": "push-"
}, },
"fetch": { "fetch": {