remote-hg: force remote push

diff --git a/git-pull.sh b/git-pull.sh
index 266e682f6c518ab72dc710d52ed4f1dbe22881b5..5d97e97bd95fe25d158058af025c48e47f6d241f 100755 (executable)
--- a/git-pull.sh
+++ b/git-pull.sh
@@ -279,7 +279,7 @@ fi
 merge_name=$(git fmt-merge-msg $log_arg <"$GIT_DIR/FETCH_HEAD") || exit
 case "$rebase" in
 true)
-       eval="git-rebase $diffstat $strategy_args $merge_args"
+       eval="git-rebase $diffstat $strategy_args $merge_args $verbosity"
        eval="$eval --onto $merge_head ${oldremoteref:-$merge_head}"
        ;;
 *)