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

Author: jonasnick

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"