From 7252a544bd1f02e72e9370eacad64dbead996138 Mon Sep 17 00:00:00 2001
From: Stephen Turner <stephen.turner@citrix.com>
Date: Fri, 19 Sep 2014 15:40:33 +0100
Subject: [PATCH] Try again to enable push

---
 mk/archive-push.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mk/archive-push.sh b/mk/archive-push.sh
index 3a91bad47..59a449e89 100755
--- a/mk/archive-push.sh
+++ b/mk/archive-push.sh
@@ -30,7 +30,7 @@
 
 set -eu
 
-DISABLE_PUSH=0
+# DISABLE_PUSH=1
 source "$( cd -P "$( dirname "${BASH_SOURCE[0]}" )" && pwd )/declarations.sh"
 
 if [ ${XS_BRANCH} = "trunk" ]