| 12345678910111213141516171819202122232425262728293031323334 | #!/bin/bash## Cherry-pick a PR into the release branch#set -eset -o pipefailfunction usage() {    >&2 cat << EOMCherry-pick commits from a github pull request.Usage:    $0 <github PR number>EOM    exit 1}[ -n "$1" ] || usageif [ -z "$(command -v hub 2> /dev/null)" ]; then    >&2 echo "$0 requires https://hub.github.com/."    >&2 echo "Please install it and make sure it is available on your \$PATH."    exit 2fiREPO=docker/composeGITHUB=https://github.com/$REPO/pullPR=$1url="$GITHUB/$PR"hub am -3 $url
 |