github_merge: show cover letter after successful merge.
authorJean Privat <jean@pryen.org>
Thu, 5 Feb 2015 07:03:25 +0000 (14:03 +0700)
committerJean Privat <jean@pryen.org>
Thu, 5 Feb 2015 07:03:25 +0000 (14:03 +0700)
commit674bc99c42699cafa832c0a37e6018a31a7c8b8a
tree02c8163d7a1c29afd409d9c6115c7e9d6a997558
parent20c920427daae1392e5348a243ee20bbf1d22467
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>
contrib/github_merge.nit