#!/bin/bash
#
# run  git fetch main
# and then this

set -e
set -o pipefail

git-rev-list main/master..main/pretest | nl -ba | tac | \
while read num rev; do
	echo >&2 ""
	echo >&2 "testing $num $rev"
	git checkout $rev
	nice tests/using-intree tests/run-all
	git push main HEAD:master
done