#!/bin/bash

set -euo pipefail

driving_repo=$1
driving_sha=$2
cd $driving_repo
git fetch
git checkout $driving_sha
