url=https://api.github.com/repos/CHERIoT-Platform/cheri-rust/pulls/$CIRRUS_PR
commits=$(curl -s -H "Accept: application/vnd.github+json" $url | jq '.commits')
if [[ $commits -ne 1 ]]; then
  echo "Expected a single commit, found $commits"
  echo "In order to facilitate cherry-picking commits into other branches,"
  echo "please squash your commits into a single one."
  exit 1;
fi
Expected a single commit, found 3
In order to facilitate cherry-picking commits into other branches,
please squash your commits into a single one.