sync-upstream.sh: Add "git show --remerge-diff" tip

This commit is contained in:
Tim Ruffing 2023-07-18 15:05:27 +02:00
parent 30fc9d6551
commit 0a99156871

View File

@ -104,8 +104,7 @@ do
done
# Remove trailing ","
TITLE=${TITLE%?}
BODY=$(printf "%s\n\n%s" "$BODY" "This PR can be recreated with \`$REPRODUCE_COMMAND\`.")
BODY=$(printf "%s\n\n%s\n%s" "$BODY" "This PR can be recreated with \`$REPRODUCE_COMMAND\`." "Tip: Use \`git show --remerge-diff\` to show the changes manually added to the merge commit.")
echo "-----------------------------------"
echo "$TITLE"