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

docs: describe push.branch-prefix

Browse source
This commit is contained in:
Martin von Zweigbergk 2023-08-02 14:45:35 -07:00 committed by Martin von Zweigbergk
parent 0b9d23c3ad
commit bf2af12b3b
1 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
docs/config.md
View file

@ -463,6 +463,14 @@ branches. Since the local branch isn't created, the remote branch will be
deleted if you push the branch with `jj git push --branch` or `jj git push
--all`.
### Prefix for generated branches on push
`jj git push --change` generates branch names with a prefix of "push-" by
default. You can pick a different prefix by setting `push.branch-prefix`. For
example:
push.branch-prefix = "martinvonz/push-"
## Filesystem monitor
In large repositories, it may be beneficial to use a "filesystem monitor" to