diff --git a/script/ci/push_to_production.sh b/script/ci/push_to_production.sh index 9294bcb492..87f631b072 100755 --- a/script/ci/push_to_production.sh +++ b/script/ci/push_to_production.sh @@ -1,6 +1,6 @@ #!/bin/bash -set -e +set -ex source ./script/ci/includes.sh # Add production git remote if required