Merge #214: sync-upstream: Fix $REPRODUCE_COMMAND for "select"

e04c660 sync-upstream: Fix $REPRODUCE_COMMAND for "select" (Tim Ruffing) Pull request description: ACKs for top commit: jonasnick: utACK e04c660 Tree-SHA512: 898b56f5931ef3a8e84546e5d2c0bd1a644cb7492aac4ecf80090edc250663b79b1bf4295a516868960c3a13113272f6fc50744b5daf0c90d5b9d9f561913c0b
BlockstreamResearch · Jan 23, 2023 · b1f1675 · b1f1675
2 parents a58c7d2 + e04c660
commit b1f1675
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/contrib/sync-upstream.sh b/contrib/sync-upstream.sh
@@ -68,7 +68,7 @@ case $1 in
         shift
         setup
         COMMITS=$*
-        REPRODUCE_COMMAND="$0 $@"
+        REPRODUCE_COMMAND="$0 select $@"
         ;;
     help)
         help
@@ -88,7 +88,7 @@ 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" "$BODY" "This PR can be recreated with \`$REPRODUCE_COMMAND\`.")
 
 echo "-----------------------------------"
 echo "$TITLE"