diff options
Diffstat (limited to 'scripts/create-pull-request')
-rwxr-xr-x | scripts/create-pull-request | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/scripts/create-pull-request b/scripts/create-pull-request index 503248bbf0..d83362f7f4 100755 --- a/scripts/create-pull-request +++ b/scripts/create-pull-request | |||
@@ -178,7 +178,13 @@ git format-patch -M40 --subject-prefix="$PREFIX" -n -o $ODIR --thread=shallow -- | |||
178 | # Customize the cover letter | 178 | # Customize the cover letter |
179 | CL="$ODIR/0000-cover-letter.patch" | 179 | CL="$ODIR/0000-cover-letter.patch" |
180 | PM="$ODIR/pull-msg" | 180 | PM="$ODIR/pull-msg" |
181 | git request-pull $RELATIVE_TO $REMOTE_URL $COMMIT_ID >> "$PM" | 181 | GIT_VERSION=$(`git --version` | tr -d '[:alpha:][:space:].') |
182 | NEWER_GIT_VERSION=210 | ||
183 | if [ $GIT_VERSION -lt $NEWER_GIT_VERSION ]; then | ||
184 | git request-pull $RELATIVE_TO $REMOTE_URL $COMMIT_ID >> "$PM" | ||
185 | else | ||
186 | git request-pull $RELATIVE_TO $REMOTE_URL :$BRANCH >> "$PM" | ||
187 | fi | ||
182 | if [ $? -ne 0 ]; then | 188 | if [ $? -ne 0 ]; then |
183 | echo "ERROR: git request-pull reported an error" | 189 | echo "ERROR: git request-pull reported an error" |
184 | exit 1 | 190 | exit 1 |