#!/usr/bin/env bash

set -euo pipefail

script_dir="$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" && pwd -P)"
repo_root="$(cd -- "$script_dir/.." && pwd -P)"

main() {
  if [[ -d "$repo_root/.git" ]]; then
    git -C "$repo_root" pull --ff-only
  else
    printf 'Skipping git pull because this repository is not initialized as a git repository yet.\n'
  fi

  "$script_dir/bootstrap.sh"
  "$script_dir/verify.sh" --quick
}

main "$@"