scripts/checkout-pr.sh

#!/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
fix bash + python3 shebangs (#33287) fix shebangs old-commit-hash: 1dcd66081531f4568a8de69637fc7a3f4ef3214f 2024-08-13 21:22:13 -07:00			`#!/usr/bin/env bash`
script for checking out a pr old-commit-hash: 6810c5b644fe898d87b5bddce67f8ab7dfc100c1 2023-12-26 19:22:34 -08:00			`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`