From bca5a99b1da991f73c2dd0ab544579a2b04dbb8e Mon Sep 17 00:00:00 2001
From: Paul Lietar <paul@lietar.net>
Date: Mon, 28 Oct 2013 20:56:26 +0000
Subject: [PATCH] Don't allow the push if building failed.

---
 plugins/git/commands | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/plugins/git/commands b/plugins/git/commands
index ecb4cf37d..d9ab50e8f 100755
--- a/plugins/git/commands
+++ b/plugins/git/commands
@@ -24,7 +24,8 @@ case "$1" in
         git init --bare $APP_PATH > /dev/null
         PRERECEIVE_HOOK="$APP_PATH/hooks/pre-receive"
         cat > $PRERECEIVE_HOOK <<EOF
-#!/bin/bash
+#!/usr/bin/env bash
+set -e; set -o pipefail;
 cat | DOKKU_ROOT="$DOKKU_ROOT" dokku git-hook $APP
 EOF
         chmod +x $PRERECEIVE_HOOK