jujutsu: change default bookmark name
wiro.world 1 week ago 965d8238 c63b85f0
··· 62 63 templates = { 64 log = "custom_log_compact"; 0 65 }; 66 67 ui = {
··· 62 63 templates = { 64 log = "custom_log_compact"; 65 + git_push_bookmark = ''"push-" ++ change_id.short()''; 66 }; 67 68 ui = {