diff options
author | Artur Signell <artur@vaadin.com> | 2014-02-25 12:28:32 +0200 |
---|---|---|
committer | Vaadin Code Review <review@vaadin.com> | 2014-02-26 20:00:39 +0000 |
commit | 3be432631760acbe8c7972bf76b16341c55735ef (patch) | |
tree | 4cac99b5abda209c75b31c96a614ac3c6a227f3c /scripts | |
parent | 4188c706e2a0de6216cf258339552d9f6abcb7c6 (diff) | |
download | vaadin-framework-3be432631760acbe8c7972bf76b16341c55735ef.tar.gz vaadin-framework-3be432631760acbe8c7972bf76b16341c55735ef.zip |
Email author about merge failures
Change-Id: I58554c9095e815087bee321dfc57e9e45b5b0481
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/automerge7.sh | 12 |
1 files changed, 12 insertions, 0 deletions
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" ] |