1234567891011121314151617181920212223242526272829303132
#!/usr/bin/env bash
set -euo pipefail
GIT_BRANCH="${GITHUB_REF/refs\/heads\//}"git checkout $GIT_BRANCH
echo "On branch $GIT_BRANCH."
echo ""echo "------- Checking TOC -------"echo ""
# Commit the TOC if outdatedif ! git diff --exit-code ./site/_includes/docs_toc.mdthen  ## Only do this for master  if [[ $GIT_BRANCH == 'master' ]]; then    echo "Outdated TOC."    exit 1  else    git add ./site/_includes/docs_toc.md    git commit -m "chore: update TOC [CI]"    # Push all the TOC changes    git pull --rebase origin ${GITHUB_REF}    git push origin ${GITHUB_REF}  fifi
exit 0