github_merge: show cover letter after successful merge.

If the merge fails, the cover letter will be shown during the commit,
so no need to show it before.

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/contrib/github_merge.nit b/contrib/github_merge.nit
index 30d54f0..8a2c545 100644 (file)
--- a/contrib/github_merge.nit
+++ b/contrib/github_merge.nit
@@ -127,5 +127,6 @@ else
        end
        system("git commit -F mergemsg")
        print "The merge is made"
+       mergemsg.write_to(stdout)
 end