diff --git a/scripts/pgit.sh b/scripts/pgit.sh index 10bb9b9e..8dcd4183 100644 --- a/scripts/pgit.sh +++ b/scripts/pgit.sh @@ -188,8 +188,10 @@ cmd_get() [ "$from_user" = "$remote_user" ] && remote_name="origin" [ "$to_ref" = "current-branch" ] && to_ref=$cur_ref [ "$from_ref" = "current-branch" ] && from_ref=$cur_ref - [ "$refspec_arg" != "$from_user:$from_ref:$to_ref" ] && log "Fetching $from_user:$from_ref:$to_ref ($refspec_arg)" - fat_marker "Getting project $project_name from user $from_user" + local log_refspec="$from_user:$from_ref" + [ "$to_ref" ] && log_refspec="$log_refspec -> $to_ref" + [ "$refspec_arg" -a "$refspec_arg" != "$from_user:$from_ref:$to_ref" ] && log_refspec="$log_refspec ($refspec_arg)" + fat_marker "Getting project $project_name from $log_refspec" if [ -d $project_dir ]; then run_git -C $project_dir remote | grep -q "^$remote_name$" || { run_git -C $project_dir remote add $remote_name $pull_url