mirror of
https://jihulab.com/mr-one/openpilot.git
synced 2026-10-28 13:33:44 +08:00
github-actions[bot]
cf3a2ed3d9
version: sunnypilot v2026.003.000 (staging) date: 2026-10-27T16:56:13 master commit: db27a433fcbf5601a61aa7a03fbd5d0fa1ade036
17 lines
357 B
Bash
Executable File
17 lines
357 B
Bash
Executable File
#!/usr/bin/env 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
|