ci(docs): revert change

This commit is contained in:
Stéphane Lepin 2018-12-31 17:19:24 +01:00
parent 7e6b53311d
commit 5cfefd8b15

View File

@ -15,7 +15,7 @@ if git diff --quiet; then
exit 0
fi
if [ "$TRAVIS_PULL_REQUEST" != "false" -o "$TRAVIS_BRANCH" != "master" ]; then
if [ "$TRAVIS_PULL_REQUEST" != "false" -o "$TRAVIS_BRANCH" != "4.x-current" ]; then
echo "-- Skipping documentation deployment because this is either a pull request or a non-master branch."
exit 0
fi