From ce0de6e1dce1a5edcac08c2a207cefb432bd04e6 Mon Sep 17 00:00:00 2001 From: Rohan Mitchell Date: Thu, 18 Jun 2015 14:25:48 +1000 Subject: [PATCH] Fix push to production - needs includes for get_ofn_commit --- script/ci/push_to_production.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/script/ci/push_to_production.sh b/script/ci/push_to_production.sh index e924f1166e..9294bcb492 100755 --- a/script/ci/push_to_production.sh +++ b/script/ci/push_to_production.sh @@ -1,6 +1,7 @@ #!/bin/bash set -e +source ./script/ci/includes.sh # Add production git remote if required PROD_TEST=`git remote | grep -s 'production' || true`