From 6810c5b644fe898d87b5bddce67f8ab7dfc100c1 Mon Sep 17 00:00:00 2001
From: Adeeb Shihadeh <adeebshihadeh@gmail.com>
Date: Tue, 26 Dec 2023 19:22:34 -0800
Subject: [PATCH] script for checking out a pr

---
 scripts/checkout-pr.sh | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100755 scripts/checkout-pr.sh

diff --git a/scripts/checkout-pr.sh b/scripts/checkout-pr.sh
new file mode 100755
index 00000000000000..43f658befff302
--- /dev/null
+++ b/scripts/checkout-pr.sh
@@ -0,0 +1,16 @@
+#!/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