Files
releases/build/commit-cli-docs.sh
Anders Eknert f272af65f6 Add CLI section to docs (#4241)
Fixes #3915

Signed-off-by: Anders Eknert <anders@eknert.com>
2022-01-19 13:00:09 +01:00

20 lines
361 B
Bash
Executable File

#!/usr/bin/env bash
OPA_DIR=$(dirname "${BASH_SOURCE}")/..
cd "${OPA_DIR}"
git add docs/content/cli.md
if [[ -z "$(git diff --name-only --cached)" ]]; then
echo "No CLI doc changes to commit"
exit 1
fi
git commit -m "docs: Update generated CLI docs"
echo ""
echo "Committed changes for files:"
git diff-tree --no-commit-id --name-only -r HEAD
echo ""