From bf2af12b3bb4fe5896af4fbef953f7885ca3adb9 Mon Sep 17 00:00:00 2001 From: Martin von Zweigbergk Date: Wed, 2 Aug 2023 14:45:35 -0700 Subject: [PATCH] docs: describe `push.branch-prefix` --- docs/config.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/docs/config.md b/docs/config.md index 1ef3da723..0675cdab9 100644 --- a/docs/config.md +++ b/docs/config.md @@ -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