2015-12-13 02:06:59 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
set -e
|
|
|
|
|
set -x
|
|
|
|
|
|
|
|
|
|
request_id="$1"
|
2016-08-24 23:23:08 +02:00
|
|
|
git fetch upstream "pull/$request_id/head"
|
|
|
|
|
git checkout upstream/master -b "review-${request_id}"
|
2015-12-13 02:06:59 +01:00
|
|
|
git reset --hard FETCH_HEAD
|
|
|
|
|
git pull --rebase
|
