diff --git a/tools/fetch-rebase-pull-request b/tools/fetch-rebase-pull-request index 25dd48d619..a9e2e9cb52 100755 --- a/tools/fetch-rebase-pull-request +++ b/tools/fetch-rebase-pull-request @@ -3,8 +3,8 @@ set -e set -x request_id="$1" -git fetch origin "pull/$request_id/head" -git checkout origin/master -b "review-${request_id}" +git fetch upstream "pull/$request_id/head" +git checkout upstream/master -b "review-${request_id}" git reset --hard FETCH_HEAD git pull --rebase diff --git a/tools/reset-to-pull-request b/tools/reset-to-pull-request index fcf5d9750b..af8b5b11a0 100755 --- a/tools/reset-to-pull-request +++ b/tools/reset-to-pull-request @@ -3,5 +3,5 @@ set -e set -x request_id="$1" -git fetch origin "pull/$request_id/head" +git fetch upstream "pull/$request_id/head" git reset --hard FETCH_HEAD