From 269bc543b37767f09031024bb436a9de42a19d19 Mon Sep 17 00:00:00 2001
From: Aleksandr Volochnev <a.volochnev@gmail.com>
Date: Tue, 29 Jan 2019 17:22:43 +0100
Subject: [PATCH] Removed obsolete file

---
 build/travis-publish.sh | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100755 build/travis-publish.sh

diff --git a/build/travis-publish.sh b/build/travis-publish.sh
deleted file mode 100755
index f3f85f9..0000000
--- a/build/travis-publish.sh
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/bin/sh
-
-set -e # Exit with nonzero exit code if anything fails
-
-# If a pull request
-if [ "$TRAVIS_PULL_REQUEST" != "false" ]; then 
-  echo "Skipping publish for pull request"
-  exit 0
-fi
-
-# Invoke the publish script
-MY_PATH="`dirname \"$0\"`"
-( exec "$MY_PATH/docker-publish.sh" )