#!/usr/bin/env bash
set -euo pipefail
git -C /home/ubuntu/wt/pr-33587 checkout -- apps/server/src/device/LocalDeviceHost.ts apps/server/src/device/DeviceToolchain.ts
test -z "$(git -C /home/ubuntu/wt/pr-33587 status --short)"
test "$(git -C /home/ubuntu/wt/pr-33587 rev-parse HEAD)" = 9f3180ba42ff5597d9a3d8a2f62ff41ce52bab92