From 82446cf66b80f4683192126bd5010e8d4596ebe0 Mon Sep 17 00:00:00 2001 From: RGBCube Date: Mon, 7 Jul 2025 18:58:32 +0300 Subject: [PATCH] jj: add git push bookmark template --- modules/common/jujutsu.nix | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/modules/common/jujutsu.nix b/modules/common/jujutsu.nix index dbc973d..6c9bfd9 100644 --- a/modules/common/jujutsu.nix +++ b/modules/common/jujutsu.nix @@ -90,8 +90,11 @@ in { ) ''; + templates.git_push_bookmark = /* python */ '' + "change-rgbcube-" ++ change_id.short() + ''; + git.auto-local-bookmark = true; - git.push-bookmark-prefix = "change-rgbcube-"; git.fetch = [ "origin" "upstream" "rad" ]; git.push = "origin";