mirror of
https://github.com/martinvonz/jj.git
synced 2025-02-04 10:51:37 +00:00
Log names of created branch for git push --change
.
This commit is contained in:
parent
aedc23176f
commit
9766e80438
1 changed files with 5 additions and 0 deletions
|
@ -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!(
|
||||
|
|
Loading…
Reference in a new issue