From 54f5906de3152b288dd7eba5fb0a1253ed5dfb9b Mon Sep 17 00:00:00 2001
From: Georges Discry <murmex@gathex.net>
Date: Fri, 2 Dec 2011 05:14:57 +0100
Subject: [PATCH] add the missing die function

---
 hooks/common/post-receive.mirrorpush | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/hooks/common/post-receive.mirrorpush b/hooks/common/post-receive.mirrorpush
index f63abd2..b5e91f3 100755
--- a/hooks/common/post-receive.mirrorpush
+++ b/hooks/common/post-receive.mirrorpush
@@ -4,6 +4,8 @@
 
 # please see doc/mirroring.mkd for instructions on how to use this
 
+die() { echo post-receive.mirrorpush: "$@" >&2; exit 1; }
+
 # flush STDIN coming from git; we have no use for that info in this hook but
 # if you don't do this, git-shell sometimes dies of a signal 13 (SIGPIPE)
 [ -t 0 ] || cat >/dev/null