From 6e0b2aab34abdcca40639d244fd51f748e7422c1 Mon Sep 17 00:00:00 2001
From: Daniel Rudolf <github.com@daniel-rudolf.de>
Date: Thu, 26 Nov 2015 01:35:35 +0100
Subject: [PATCH] phpDocs auto deployment: Disable for pull requests with a
 safe environment

Pull requests with a safe environment are primarly local branches
---
 build/deploy-phpdoc-branch.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/build/deploy-phpdoc-branch.sh b/build/deploy-phpdoc-branch.sh
index 2a401a4..0d4335a 100755
--- a/build/deploy-phpdoc-branch.sh
+++ b/build/deploy-phpdoc-branch.sh
@@ -15,6 +15,11 @@ if [ "$TRAVIS_SECURE_ENV_VARS" != "true" ]; then
     exit
 fi
 
+if [ "$TRAVIS_PULL_REQUEST" != "false" ]; then
+    echo "Skipping phpDoc deployment because this pull request (#$TRAVIS_PULL_REQUEST) is not permitted to deploy"
+    exit
+fi
+
 PHPDOC_ID="${TRAVIS_BRANCH//\//_}"
 
 generate-phpdoc.sh \