From 471882fc5ea4d0e1475761c8ae8ec3e92d19252d Mon Sep 17 00:00:00 2001
From: Markus Unterwaditzer <markus@unterwaditzer.net>
Date: Mon, 3 Oct 2016 20:53:25 +0200
Subject: [PATCH] upload-hypothesis: Don't execute on third-party PR

---
 scripts/upload-hypothesis-db.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/scripts/upload-hypothesis-db.sh b/scripts/upload-hypothesis-db.sh
index 4f2af1e..ef643b4 100755
--- a/scripts/upload-hypothesis-db.sh
+++ b/scripts/upload-hypothesis-db.sh
@@ -6,6 +6,10 @@ set -e
 SELF_DIR="$(dirname $0)"
 GIT_COMMIT_PATH="$SELF_DIR/../.hypothesis/examples"
 
+if [ -z "$encrypted_a527bcd44658_key" ]; then
+    echo "Not executing on third-party PRs"
+    exit 0
+fi
 
 _is_dirty() {
     (! git diff-index --quiet HEAD $GIT_COMMIT_PATH) || [ "$(git status --porcelain $GIT_COMMIT_PATH | tail -n1)" != "" ]