You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
17 lines
341 B
17 lines
341 B
2 years ago
|
#!/bin/bash
|
||
|
|
set -e
|
||
|
|
|
||
|
|
if [ $# -eq 0 ]; then
|
||
|
|
echo "usage: $0 <pull-request-number>"
|
||
|
|
exit 1
|
||
|
|
fi
|
||
|
|
|
||
|
|
BASE="https://github.com/commaai/openpilot/pull/"
|
||
|
|
PR_NUM="$(echo $1 | grep -o -E '[0-9]+')"
|
||
|
|
BRANCH=tmp-pr${PR_NUM}
|
||
|
|
|
||
|
|
git branch -D -f $BRANCH || true
|
||
|
|
git fetch -u -f origin pull/$PR_NUM/head:$BRANCH
|
||
|
|
git switch $BRANCH
|
||
|
|
git reset --hard FETCH_HEAD
|