From 3be432631760acbe8c7972bf76b16341c55735ef Mon Sep 17 00:00:00 2001
From: Artur Signell <artur@vaadin.com>
Date: Tue, 25 Feb 2014 12:28:32 +0200
Subject: [PATCH] Email author about merge failures

Change-Id: I58554c9095e815087bee321dfc57e9e45b5b0481
---
 scripts/automerge7.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/scripts/automerge7.sh b/scripts/automerge7.sh
index f929b9c69c..079dec7eea 100755
--- a/scripts/automerge7.sh
+++ b/scripts/automerge7.sh
@@ -7,6 +7,11 @@ TO=master
 IGNORE_HEAD=origin/$IGNORE
 FROM_HEAD=origin/$FROM
 PUSH="origin HEAD:refs/for/$TO"
+EMAIL_AUTHOR=
+if [ "$1" = "email" ]
+then
+	EMAIL_AUTHOR=1
+fi
 
 show() {
         sCommit=$1
@@ -112,6 +117,13 @@ do
                         echo "Stopping merge at $commit because of merge conflicts"
                         echo "The following commit must be manually merged."
                         show $commit
+                        
+                        if [ "$EMAIL_AUTHOR" = "1" ]
+                        then
+                        	author=`git show --format=%aE -s $commit`
+                        	echo "Email sent to $author"
+                        	(show $commit ; echo ; git merge $commit) |mail -s "Merge of your commit $commit to $TO failed" $author
+                        fi
                         exit 7
 		        fi
         elif [ "$mergeDirective" == "no" ]
-- 
2.39.5