From 615063a9c3ace19c81a8529762c0601b331bb2a2 Mon Sep 17 00:00:00 2001
From: Artur Klauser <Artur.Klauser@computer.org>
Date: Sun, 22 Mar 2020 09:01:21 +0100
Subject: [PATCH] Don't try to deploy docker images on PR runs

For security reasons, PR runs don't have access to Travis secrets. However,
Docker deployment depends on the secret DOCKER_PASSWORD. Thus we shouldn't try
Docker deployment when running PRs since it will fail for lack of access.
---
 .travis.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 2c76574..5207655 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -17,7 +17,8 @@ jobs:
       os: osx
 
     - stage: Deploy docker image
-      if: branch = master
+      # Deploy only for pushes to master branch, not other branches, not PRs.
+      if: branch = master AND type = push
       script:
         - source ./.multi_arch_docker
         - set -ex; multi_arch_docker::main; set +x