diff --git a/tools/fetch-rebase-pull-request b/tools/fetch-rebase-pull-request index bb484a8f7e..df1661d7f0 100755 --- a/tools/fetch-rebase-pull-request +++ b/tools/fetch-rebase-pull-request @@ -1,9 +1,10 @@ -#!/bin/sh +#!/bin/bash set -e set -x request_id="$1" -git fetch upstream "pull/$request_id/head" -git checkout upstream/master -b "review-${request_id}" +remote=${2:-"upstream"} +git fetch "$remote" "pull/$request_id/head" +git checkout -B "review-${request_id}" $remote/master git reset --hard FETCH_HEAD git pull --rebase diff --git a/tools/reset-to-pull-request b/tools/reset-to-pull-request index af8b5b11a0..7d8d69933a 100755 --- a/tools/reset-to-pull-request +++ b/tools/reset-to-pull-request @@ -1,7 +1,8 @@ -#!/bin/sh +#!/bin/bash set -e set -x request_id="$1" -git fetch upstream "pull/$request_id/head" +remote=${2:-"upstream"} +git fetch "$remote" "pull/$request_id/head" git reset --hard FETCH_HEAD