From c2220ca4d56add779586ce0eb8b9290d01c62b88 Mon Sep 17 00:00:00 2001
From: Martin von Zweigbergk <martinvonz@google.com>
Date: Thu, 12 Sep 2024 22:02:17 -0700
Subject: [PATCH] config-schema: update stale `push-branch-prefix` config

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.
---
 cli/src/config-schema.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/cli/src/config-schema.json b/cli/src/config-schema.json
index 8ad1b3396..997d62c82 100644
--- a/cli/src/config-schema.json
+++ b/cli/src/config-schema.json
@@ -307,9 +307,9 @@
                     "description": "Whether jj should abandon commits that became unreachable in Git.",
                     "default": true
                 },
-                "push-branch-prefix": {
+                "push-bookmark-prefix": {
                     "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-"
                 },
                 "fetch": {