deploy.sh

#!/bin/bash
set -ex

for arg in "$@"; do
  case "${arg}" in
    --no-commit)
      no_commit="true"
      ;;
    *)
      >&2 echo "Unrecognized option: ${arg}"
      exit 2
  esac
done

echo "Going to setup a kunit-docs/ repo adjacent to this one"

# Get to the root of the repo
cd $(git rev-parse --show-toplevel)
cd ..


if [[ ! -d kunit-docs/ ]]; then
  git clone git@github.com:google/kunit-docs.git
  cd kunit-docs/
else # re-use the existing one but force it to be up to date
  cd kunit-docs/
  git fetch
  git checkout origin/master
fi

git ls-files -z | xargs -0 rm -f
cp -r ../kunit-website/_build/html/. ./

[[ -n $no_commit ]] && exit 0
git add -A
git commit
git push git@github.com:google/kunit-docs.git HEAD:master