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`