sync-upstream: Fix $REPRODUCE_COMMAND for "select"

This commit is contained in:
Tim Ruffing
2023-01-20 17:09:18 +01:00
committed by GitHub
parent d22774e248
commit e04c660b11

View File

@@ -68,7 +68,7 @@ case $1 in
shift shift
setup setup
COMMITS=$* COMMITS=$*
REPRODUCE_COMMAND="$0 $@" REPRODUCE_COMMAND="$0 select $@"
;; ;;
help) help)
help help
@@ -88,7 +88,7 @@ done
# Remove trailing "," # Remove trailing ","
TITLE=${TITLE%?} TITLE=${TITLE%?}
BODY=$(printf "%s\n\n%s" "$BODY" "This PR can be recreated with \`$REPRODUCE_COMMAND\`.") BODY=$(printf "%s\n\n%s" "$BODY" "This PR can be recreated with \`$REPRODUCE_COMMAND\`.")
echo "-----------------------------------" echo "-----------------------------------"
echo "$TITLE" echo "$TITLE"