Prepare docs.sh for new release process (#14195)

This commit is contained in:
Ian Hickson 2018-01-20 00:36:00 -08:00 committed by GitHub
parent 677f218ef6
commit 7cdfe6fa0e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -44,7 +44,7 @@ if [ "$TRAVIS_PULL_REQUEST" == "false" ]; then
done
fi
if [ "$TRAVIS_BRANCH" == "alpha" ]; then
if [ "$TRAVIS_BRANCH" == "dev" ]; then
while : ; do
firebase deploy --project docs-flutter-io && break
echo Error: Unable to deploy documentation to firebase. Retrying in five seconds...