From bf4ff5430d789261b54a90fb0789f14e372cda5c Mon Sep 17 00:00:00 2001 From: Stephen Rothwell Date: Fri, 13 Jan 2023 09:00:57 +1100 Subject: [PATCH] do_merge: add duplicates to the log file --- do_merge | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/do_merge b/do_merge index 68ba9d7..b678993 100755 --- a/do_merge +++ b/do_merge @@ -90,7 +90,7 @@ for h in $heads; do done 7<"../pre-merge/$tree" fi log Merging "$h" "($hlog)" - check_dups "$tree" HEAD "$h" + check_dups "$tree" HEAD "$h" | tee -a "$LOG_FILE" msg=$(printf "Merge branch '%s' of %s" "${h#*/}" "$(get_url "$tree")") if ! execute git merge -m "$msg" "$h"; then echo Merge failed 1>&2 -- 2.39.5