Log names of created branch for git push --change.

arxanas · May 28, 2022 · 9766e80 · 9766e80
1 parent aedc231
commit 9766e80
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/commands.rs b/src/commands.rs
@@ -4863,6 +4863,11 @@ fn cmd_git_push(
         if let Some(update) =
             branch_updates_for_push(tx.mut_repo().as_repo_ref(), &args.remote, &branch_name)?
         {
+            writeln!(
+                ui,
+                "Creating branch {} for revision {}",
+                branch_name, change_str
+            )?;
             branch_updates.insert(branch_name.clone(), update);
         } else {
             writeln!(