3 echo "USAGE: $0 remote/head_branch"
4 echo "eg $0 upstream/main"
11 if [ "$(git log --pretty="%H %D" | grep "^[0-9a-f]*.* $1")" = "" ]; then
12 echo "It seems like the current checked-out commit is not based on $1"
15 git rebase --exec ci/check-compiles.sh $1