From 15c301428482e512d32a12798798a75f3806ef29 Mon Sep 17 00:00:00 2001 From: Yuya Nishihara Date: Fri, 15 Dec 2023 21:55:33 +0900 Subject: [PATCH] cli: colorize inline "jj branch" command hints This is a bit different from the ordinary ui hints, but I feel the colored output is easier to follow. --- cli/src/commands/branch.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cli/src/commands/branch.rs b/cli/src/commands/branch.rs index 2c755af3e..35a5a9144 100644 --- a/cli/src/commands/branch.rs +++ b/cli/src/commands/branch.rs @@ -705,13 +705,13 @@ fn cmd_branch_list( .any(|&(remote, _)| remote != git::REMOTE_NAME_FOR_LOCAL_GIT_REPO); if found_non_git_remote { writeln!( - formatter, + formatter.labeled("hint"), " (this branch will be *deleted permanently* on the remote on the next `jj \ git push`. Use `jj branch forget` to prevent this)" )?; } else { writeln!( - formatter, + formatter.labeled("hint"), " (this branch will be deleted from the underlying Git repo on the next `jj \ git export`)" )?;