#!/bin/sh
if [ "$1" = "" ]; then
	echo "USAGE: $0 remote/head_branch"
	echo "eg $0 upstream/main"
	exit 1
fi

set -e
set -x

if [ "$(git log --pretty="%H %D" | grep "^[0-9a-f]*.* $1")" = "" ]; then
	echo "It seems like the current checked-out commit is not based on $1"
	exit 1
fi
git rebase --exec ci/check-compiles.sh "$1"