1
0
Fork 0
docsearch/scripts/travis/changes-in-docs-since-master

8 lines
239 B
Bash
Executable file

#!/usr/bin/env bash
# Check if the current git repo has changes done in the ./docs folder since last
# push to master
CHANGES_IN_DOCS="$(git diff --name-only master | grep '^docs/')"
if [ "$CHANGES_IN_DOCS" = "" ]; then
exit 1
fi
exit 0