From ea968b521bb8cc3634a2464f99520ad02fb918de Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Sat, 21 Feb 2026 10:43:04 +0100 Subject: [PATCH] pgit.sh: Log complete refspec in get Change the project header logged during the get command to include the complete refspec. Signed-off-by: Jan Lindemann --- scripts/pgit.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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