#!/bin/bash

set -e
set -o pipefail

while true; do
	git fetch -p main
	pretest=$(git-rev-parse main/pretest)
	tested=$(git-rev-parse main/${STTM_TESTED-tested})
	if [ $pretest = $tested ]; then break; fi

	${0%/*}/pretest-to-tested
done

echo FINISHED