script to apply patch from PR

old-commit-hash: 7237128a1d
2026-07-26 20:32:04 +08:00 · 2021-11-28 13:33:46 -08:00
parent 4ac4b61272
commit 63f019e2ef
1 changed files with 11 additions and 0 deletions
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+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]+')"
+
+curl -L $BASE/$PR_NUM.patch | git apply