e1929105b2d170b50a79b11e4e2d0f067d859ae1
Merges PR #197 with conflict resolution. The PR adds a missing `git fetch origin head_ref` step so the PR head SHA is available before checkout. Conflict arose because PR 195 also touched this file (changed runs-on label). Both changes are preserved. Admin-merge authorized by PRI-1590 — bootstrap CI fix bypasses branch-protection CI requirement by board policy.
Description
Languages
Shell
100%